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 /configure | |
parent | 1ce18328e95ee3ae7314f759a09562855bb324ed (diff) | |
download | w32lib-ed5dc7460dd85422e6b48fad82d8dbc76d6637f5.tar.bz2 w32lib-ed5dc7460dd85422e6b48fad82d8dbc76d6637f5.tar.xz |
build system: configure: semantic compatibility: --srcdir <--> --source-dir.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -686,6 +686,9 @@ for arg ; do --source-dir=*) mb_source_dir=${arg#*=} ;; + --srcdir=*) + mb_source_dir=${arg#*=} + ;; # pkgconfig --pkgname=*) |