diff options
Diffstat (limited to 'extras/hs-test/test')
-rwxr-xr-x | extras/hs-test/test | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/extras/hs-test/test b/extras/hs-test/test index a8866524b58..db53d5a447e 100755 --- a/extras/hs-test/test +++ b/extras/hs-test/test @@ -38,6 +38,9 @@ case "${i}" in unconfigure_set=1 fi ;; + --cpus=*) + args="$args -cpus ${i#*=}" + ;; --test=*) tc_name="${i#*=}" if [ $tc_name != "all" ]; then |