another test

Author: Thomas Kiley

.travis.yml

@@ -325,6 +325,7 @@ install:
   - make -C src/ansi-c library_check
   - make -C src/cpp library_check
   - make -C src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3
+  - git submodule update --init --recursive
   - make -C jbmc/src "CXX=${COMPILER} ${EXTRA_CXXFLAGS}" -j3
   - ./scripts/run_variant_tests.sh -j3