From 1087d4df2a7342d2832ba3bab1843bf4a3040775 Mon Sep 17 00:00:00 2001 From: Jannis Hoffmann Date: Sun, 14 Jul 2024 21:28:19 +0200 Subject: add version 0.12.10 --- src/choose.sh | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 src/choose.sh (limited to 'src/choose.sh') diff --git a/src/choose.sh b/src/choose.sh new file mode 100644 index 0000000..feff2da --- /dev/null +++ b/src/choose.sh @@ -0,0 +1,18 @@ + +result="$4" + +case "$1" in + *c*) ./compile $2.c >/dev/null 2>&1 || result="$3" ;; +esac + +case "$1" in + *l*) ./load $2 >/dev/null 2>&1 || result="$3" ;; +esac + +case "$1" in + *r*) ./$2 >/dev/null 2>&1 || result="$3" ;; +esac + +rm -f $2.o $2 + +exec cat "$result" -- cgit v1.2.3