diff options
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/test.sh | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/scripts/test.sh b/scripts/test.sh index 19f860b4..48a5bf3b 100755 --- a/scripts/test.sh +++ b/scripts/test.sh @@ -7,7 +7,12 @@ mkdir -p testdir if [ -z "$TEST_HOST" ] then - make install_flat PREFIX=testdir || exit 1 + if [ $# -ne 0 ] + then + PREFIX=testdir/ scripts/single.sh "$@" || exit 1 + else + make install_flat PREFIX=testdir || exit 1 + fi fi cd testdir |