1 files changed, 1 insertions, 0 deletions
diff --git a/auto/configure b/auto/configure
index c10ee6841..dba10b363 100755
--- a/auto/configure
+++ b/auto/configure
@@ -31,6 +31,7 @@ fi
 
 . auto/make
 . auto/lib/make
+. auto/install
 
 if [ "$PLATFORM" != win32 ]; then
     . auto/unix