Skip to content

Commit

Permalink
Attempt to fix the symex appveyor build
Browse files Browse the repository at this point in the history
Starting off by just making the Makefile look the same
  • Loading branch information
thk123 committed Sep 13, 2017
1 parent 2816b80 commit e73a884
Showing 1 changed file with 8 additions and 2 deletions.
10 changes: 8 additions & 2 deletions regression/symex/Makefile
Original file line number Diff line number Diff line change
@@ -1,10 +1,16 @@
default: tests.log

test:
@../test.pl -c ../../../src/symex/symex
@if ! ../test.pl -c ../../../src/symex/symex ; then \
../failed-tests-printer.pl ; \
exit 1 ; \
fi

tests.log: ../test.pl
@../test.pl -c ../../../src/symex/symex
@if ! ../test.pl -c ../../../src/symex/symex ; then \
../failed-tests-printer.pl ; \
exit 1 ; \
fi

show:
@for dir in *; do \
Expand Down

0 comments on commit e73a884

Please sign in to comment.