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