From 719080e6a88c4e17ba33a8dfec817e2d89ee666e Mon Sep 17 00:00:00 2001
From: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date: Sat, 15 Jan 2022 19:16:34 +0100
Subject: Added one adhoc test (cornerhtr from CO)

---
 adhoc/compile.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100755 adhoc/compile.sh

(limited to 'adhoc/compile.sh')

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 @@
+#/!bin/sh
+
+mkdir build
+cd build
+cp -R ../../src ./
+rm src/shell.c
+cp ../$1 src/
+cp ../../Makefile ./
+make
+cp nissy ../run
+rm src/*
+rmdir src
+rm *
+cd ..
+rmdir build
-- 
cgit v1.3