diff options
Diffstat (limited to 'doc/tutorial/test.sh')
| -rwxr-xr-x | doc/tutorial/test.sh | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/doc/tutorial/test.sh b/doc/tutorial/test.sh deleted file mode 100755 index 9cdb1aa9f8e..00000000000 --- a/doc/tutorial/test.sh +++ /dev/null @@ -1,8 +0,0 @@ -#!/bin/bash -rm -f fragments/*.rs -mkdir -p fragments -node extract.js -for F in `ls fragments/*.rs`; do - $RUSTC $F > /dev/null - if [[ $? != 0 ]] ; then echo $F; fi -done |