shithub: MicroHs

Info  •  Files  •  Log  •  Branches

errtester.sh does not work on fresh clone, create  if not existing

--- a/tests/errtester.sh

+++ b/tests/errtester.sh

@@ -7,6 +7,12 @@

 cerr=$tmp/cerr

 comp=../bin/gmhs

 read -r line

+

+if [ ! -d $tmp ]; then

+    echo "$tmp does not exist, creating..."

+    mkdir $tmp

+fi

+

 while [ "$line" != "END" ]; do

     echo > $out

     while true; do

-- 

⑨