diff options
| author | Richard Lin | 2019-01-18 16:23:27 -0800 |
|---|---|---|
| committer | GitHub | 2019-01-18 16:23:27 -0800 |
| commit | 3b3405e8bd496749dcb47e17156c0224a6f8a496 (patch) | |
| tree | 4a8076509cb0a18591a7fea1e3143da3e54dd65e /bin/flo2app.sh | |
| parent | 9c9920eb0f53f91beddf051c8bffce1ad0116f69 (diff) | |
Remove bin (#991)
Diffstat (limited to 'bin/flo2app.sh')
| -rwxr-xr-x | bin/flo2app.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/bin/flo2app.sh b/bin/flo2app.sh deleted file mode 100755 index f02ba8c0..00000000 --- a/bin/flo2app.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -flo-llvm $1.flo # --vcdtmp -if [ $? ] ; then - echo FLO-LLVM DONE - flo-llvm-release $1.flo --harness > $1-harness.cpp -fi -if [ $? ] ; then - echo FLO-LLVM-RELEASE DONE - clang++ -o $1 $1-harness.cpp $1.o - echo GPP DONE -fi |