Configure: fix tools PATH

diff --git a/configure.ac b/configure.ac
index ff4d25d38d9941eca7232b18a669526ba2098320..90f1ae231eaa35c2f1fa431e3a048733d8d3a1ad 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -416,7 +416,7 @@ dnl Add extras/tools to the PATH
 TOOLS_DIR="${srcdir}/extras/tools/build"
 AS_IF([test -d "${TOOLS_DIR}"], [
     TOOLS_DIR=`cd "${TOOLS_DIR}" && pwd`
-    export PATH="${TOOLS_DIR}":$PATH
+    export PATH="${TOOLS_DIR}/bin":$PATH
 ])
 
 dnl