aboutsummaryrefslogtreecommitdiff
path: root/tools/run_tool.sh
diff options
context:
space:
mode:
authorSebastiano Tronto <sebastiano@tronto.net>2024-09-26 14:59:11 +0200
committerSebastiano Tronto <sebastiano@tronto.net>2024-09-26 15:00:16 +0200
commit818186b480d7c05e0c58ff89da2180f5b2476434 (patch)
tree0f6e4919d4001775a4820dffd29448dbd20c00db /tools/run_tool.sh
parentbb09e52a7481718ae1fe324d16b99970450908f8 (diff)
downloadnissy-core-818186b480d7c05e0c58ff89da2180f5b2476434.tar.gz
nissy-core-818186b480d7c05e0c58ff89da2180f5b2476434.zip
Added TOOLARGS and simplified gendata tool(s)
Diffstat (limited to 'tools/run_tool.sh')
-rwxr-xr-xtools/run_tool.sh5
1 files changed, 3 insertions, 2 deletions
diff --git a/tools/run_tool.sh b/tools/run_tool.sh
index 7e09684..2216a66 100755
--- a/tools/run_tool.sh
+++ b/tools/run_tool.sh
@@ -5,7 +5,7 @@ if [ -z "$TOOL" ]; then
5 exit 1 5 exit 1
6fi 6fi
7 7
8CC="$CC -D_POSIX_C_SOURCE=199309L" 8CC="$CC -D_POSIX_C_SOURCE=199309L" # For timer
9 9
10BIN="tools/run" 10BIN="tools/run"
11d="$(date +'%Y-%m-%d-%H-%M-%S')" 11d="$(date +'%Y-%m-%d-%H-%M-%S')"
@@ -16,7 +16,8 @@ for t in tools/*; do
16 fi 16 fi
17 toolname="$(basename "$t" .c)" 17 toolname="$(basename "$t" .c)"
18 $CC -o $BIN "$t"/*.c "$CUBEOBJ" || exit 1; 18 $CC -o $BIN "$t"/*.c "$CUBEOBJ" || exit 1;
19 $BIN | tee "tools/results/$toolname-$d.txt" "tools/results/last.out" 19 $BIN $TOOLARGS \
20 | tee "tools/results/$toolname-$d.txt" "tools/results/last.out"
20 break 21 break
21done 22done
22 23

Generated with cgit - Back to sebastiano.tronto.net