diff options
Diffstat (limited to 'adhoc/compile.sh')
| -rwxr-xr-x | adhoc/compile.sh | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/adhoc/compile.sh b/adhoc/compile.sh deleted file mode 100755 index aa541c7..0000000 --- a/adhoc/compile.sh +++ /dev/null | |||
| @@ -1,15 +0,0 @@ | |||
| 1 | #/!bin/sh | ||
| 2 | |||
| 3 | mkdir build | ||
| 4 | cd build | ||
| 5 | cp -R ../../src ./ | ||
| 6 | rm src/shell.c | ||
| 7 | cp ../$1 src/ | ||
| 8 | cp ../../Makefile ./ | ||
| 9 | make | ||
| 10 | cp nissy ../run | ||
| 11 | rm src/* | ||
| 12 | rmdir src | ||
| 13 | rm * | ||
| 14 | cd .. | ||
| 15 | rmdir build | ||
