added symex to Appveyor build

smowton · Sep 12, 2017 · 6a2fd50 · 6a2fd50
1 parent 8cd4490
commit 6a2fd50
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/appveyor.yml b/appveyor.yml
@@ -56,6 +56,7 @@ 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: |