Merge branch 'c64-390' of github.com:pzembrod/VolksForth into c64-390

This commit is contained in:
Philip Zembrod 2020-08-29 21:43:06 +02:00
commit af57b22a7a

View File

@ -50,7 +50,11 @@ then
done done
sleep 0.5 sleep 0.5
kill9log="${basedir}/kill-9.log"
vicepid=$(jobs -p %1)
kill %1 kill %1
(sleep 20; ps -q "${vicepid}" -f --no-headers && \
(kill -9 "${vicepid}" ; date)) >> "${kill9log}" 2>&1 &
fi fi
wait %1 || echo "x64 returned $?" wait %1 || echo "x64 returned $?"