diff options
| author | Alasdair Armstrong | 2018-06-21 16:22:03 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-06-21 17:02:01 +0100 |
| commit | bb694008780f63d84a68893016044b660a1558bf (patch) | |
| tree | 9cef428d8f19673459a07f8387df4b423bba5505 /test/c/run_tests.sh | |
| parent | 326f0dd88df92d3936b7acadb5073802d3f9d77b (diff) | |
| parent | 3658789d204eb100e901a2adb67b6bf8a30157bf (diff) | |
Merge branch 'tracing' into sail2
Diffstat (limited to 'test/c/run_tests.sh')
| -rwxr-xr-x | test/c/run_tests.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/c/run_tests.sh b/test/c/run_tests.sh index 0990938d..37787605 100755 --- a/test/c/run_tests.sh +++ b/test/c/run_tests.sh @@ -54,7 +54,7 @@ function run_c_tests { if $SAILDIR/sail -no_warn -c $SAIL_OPTS $file 1> ${file%.sail}.c 2> /dev/null; then green "compiling $(basename $file) ($SAIL_OPTS)" "ok"; - if gcc $CC_OPTS ${file%.sail}.c -lgmp -I $SAILDIR/lib; + if gcc $CC_OPTS ${file%.sail}.c $SAILDIR/lib/*.c -lgmp -lz -I $SAILDIR/lib; then green "compiling $(basename ${file%.sail}.c) ($CC_OPTS)" "ok"; $DIR/a.out 1> ${file%.sail}.result 2> /dev/null; |