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