diff options
-rwxr-xr-x | tools/configure | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/configure b/tools/configure index 6a060de2fc..5648438c7b 100755 --- a/tools/configure +++ b/tools/configure | |||
@@ -69,7 +69,7 @@ app_set_paths () { | |||
69 | bindir="$ARG_PREFIX/bin" | 69 | bindir="$ARG_PREFIX/bin" |
70 | libdir="$ARG_PREFIX/lib" | 70 | libdir="$ARG_PREFIX/lib" |
71 | else | 71 | else |
72 | echo "ERROR: PREFIX does not exist" | 72 | echo "ERROR: PREFIX directory $ARG_PREFIX does not exist" |
73 | exit | 73 | exit |
74 | fi | 74 | fi |
75 | fi | 75 | fi |