diff options
Diffstat (limited to 'bin/rusti')
-rwxr-xr-x | bin/rusti | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/bin/rusti b/bin/rusti deleted file mode 100755 index 9111d0f..0000000 --- a/bin/rusti +++ /dev/null @@ -1,11 +0,0 @@ -#!/bin/sh - -set -e - -RUSTI_TEMP=$(mktemp -d) -trap "rm -f $RUSTI_TEMP/test $RUSTI_TEMP/test.rs && rmdir $RUSTI_TEMP" EXIT - -cd $RUSTI_TEMP -vim test.rs -rustc test.rs -./test |