diff options
Diffstat (limited to 'res/check_ck')
-rwxr-xr-x | res/check_ck | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/res/check_ck b/res/check_ck index f8b3a1a..d4683ce 100755 --- a/res/check_ck +++ b/res/check_ck @@ -18,6 +18,17 @@ function init { wait $! } +function add_config { + echo -e "test $2\n$3" > $2 + exec $BIN/ck -c $BIN -a $1 $2 > /dev/null & + wait $! + + if [ $? -ne 0 ]; then + echo -e $ERROR" ck crashed." + exit 1 + fi +} + function clear_tests { rm $BIN/ckrc rm $BIN/ckdb |