diff options
Diffstat (limited to 'bin/flo2app.sh')
| -rwxr-xr-x | bin/flo2app.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/flo2app.sh b/bin/flo2app.sh index bac47702..cebf4325 100755 --- a/bin/flo2app.sh +++ b/bin/flo2app.sh @@ -1,6 +1,6 @@ #!/bin/bash -flo-llvm $1.flo +flo-llvm --vcdtmp $1.flo echo FLO-LLVM DONE flo-llvm-release $1.flo --harness > $1-harness.cpp echo FLO-LLVM-RELEASE DONE |