diff --git a/build/mini-tests.sh b/build/mini-tests.sh index e270a7ddc..af4f02afd 100755 --- a/build/mini-tests.sh +++ b/build/mini-tests.sh @@ -1,5 +1,6 @@ #!/bin/bash + prefix=/usr/local for arg in "$@"; do if [ `expr -- "$arg" : '--prefix='` -eq 9 ]; then