summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2019-10-20 18:42:22 +0000
committermidipix <writeonce@midipix.org>2019-10-20 18:43:40 +0000
commited5dc7460dd85422e6b48fad82d8dbc76d6637f5 (patch)
treef746643f5c34c63311836c7f538b934e1163adcc /configure
parent1ce18328e95ee3ae7314f759a09562855bb324ed (diff)
downloadw32lib-ed5dc7460dd85422e6b48fad82d8dbc76d6637f5.tar.bz2
w32lib-ed5dc7460dd85422e6b48fad82d8dbc76d6637f5.tar.xz
build system: configure: semantic compatibility: --srcdir <--> --source-dir.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 3 insertions, 0 deletions
diff --git a/configure b/configure
index 92d1bd8..f01191b 100755
--- a/configure
+++ b/configure
@@ -686,6 +686,9 @@ for arg ; do
--source-dir=*)
mb_source_dir=${arg#*=}
;;
+ --srcdir=*)
+ mb_source_dir=${arg#*=}
+ ;;
# pkgconfig
--pkgname=*)