diff options
| author | midipix <writeonce@midipix.org> | 2019-10-20 18:42:22 +0000 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2019-10-20 18:43:40 +0000 |
| commit | ed5dc7460dd85422e6b48fad82d8dbc76d6637f5 (patch) | |
| tree | f746643f5c34c63311836c7f538b934e1163adcc | |
| parent | 1ce18328e95ee3ae7314f759a09562855bb324ed (diff) | |
| download | w32lib-ed5dc7460dd85422e6b48fad82d8dbc76d6637f5.tar.bz2 w32lib-ed5dc7460dd85422e6b48fad82d8dbc76d6637f5.tar.xz | |
build system: configure: semantic compatibility: --srcdir <--> --source-dir.
| -rw-r--r-- | config.usage | 1 | ||||
| -rwxr-xr-x | configure | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/config.usage b/config.usage index f29f27c..09a6a58 100644 --- a/config.usage +++ b/config.usage @@ -8,6 +8,7 @@ supported switches: --program-prefix --avoid-version --source-dir + --srcdir --pkgname --pkgdesc @@ -686,6 +686,9 @@ for arg ; do --source-dir=*) mb_source_dir=${arg#*=} ;; + --srcdir=*) + mb_source_dir=${arg#*=} + ;; # pkgconfig --pkgname=*) |