summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xtools/configure2
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 () {
bindir="$ARG_PREFIX/bin"
libdir="$ARG_PREFIX/lib"
else
- echo "ERROR: PREFIX does not exist"
+ echo "ERROR: PREFIX directory $ARG_PREFIX does not exist"
exit
fi
fi