configure: add tools from extras/tools to the PATH

diff --git a/configure.ac b/configure.ac
index 6fab05b9b98fe1b051f9a2af9d2b978b0f402523..ff4d25d38d9941eca7232b18a669526ba2098320 100644 (file)
--- a/configure.ac
+++ b/configure.ac
@@ -412,6 +412,13 @@ AS_IF([test -n "${CONTRIB_DIR}"], [
 ])
 AC_SUBST(CONTRIB_DIR)
 
+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
+])
+
 dnl
 dnl  Libtool
 dnl  It's very bad, but our former custom system was worst