Reverting manually commited fixes

smowton · Sep 13, 2017 · af8d46f · af8d46f
1 parent e73a884
commit af8d46f
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/appveyor.yml b/appveyor.yml
@@ -56,7 +56,6 @@ build_script:
     call "C:\Program Files (x86)\Microsoft Visual Studio 12.0\VC\vcvarsall.bat" x64
     sed -i "s/BUILD_ENV[ ]*=.*/BUILD_ENV = MSVC/" src/config.inc
     make -C src -j2
-    make -C src symex.dir -j2
 
 test_script:
 - cmd: |

diff --git a/regression/Makefile b/regression/Makefile
@@ -12,6 +12,7 @@ DIRS = ansi-c \
        invariants \
        strings \
        strings-smoke-tests \
+       symex \
        test-script \
        # Empty last line