diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2022-01-15 19:16:34 +0100 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2022-01-15 19:16:34 +0100 |
| commit | 719080e6a88c4e17ba33a8dfec817e2d89ee666e (patch) | |
| tree | 8ef78a30f2f86fdc70093327d6cf75c47895f539 /adhoc/compile.sh | |
| parent | 298e9e11eda1db26fabced2e4ff14ce51c15a862 (diff) | |
| download | nissy-719080e6a88c4e17ba33a8dfec817e2d89ee666e.tar.gz nissy-719080e6a88c4e17ba33a8dfec817e2d89ee666e.zip | |
Added one adhoc test (cornerhtr from CO)
Diffstat (limited to '')
| -rwxr-xr-x | adhoc/compile.sh | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/adhoc/compile.sh b/adhoc/compile.sh new file mode 100755 index 0000000..aa541c7 --- /dev/null +++ b/adhoc/compile.sh | |||
| @@ -0,0 +1,15 @@ | |||
| 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 | ||
