diff options
Diffstat (limited to 'res')
| -rwxr-xr-x | res/test-ck | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/res/test-ck b/res/test-ck index 35837fa..5e33bb9 100755 --- a/res/test-ck +++ b/res/test-ck @@ -26,7 +26,7 @@ function init { function add_config { echo -e "test $2\n$3" > $2 - exec $BIN/ck -c $BIN -a $1 $2 > /dev/null & + exec $BIN/ck -c $BIN -a $1 $2 $4 > /dev/null & wait $! if [ $? -ne 0 ]; then @@ -118,6 +118,7 @@ do ;; -f | --filter) FILTER=$2; + UNIT=0; shift shift ;; |