diff options
Diffstat (limited to 'auto/configure')
-rwxr-xr-x | auto/configure | 1 |
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 |