diff options
| author | midipix <writeonce@midipix.org> | 2018-06-03 20:34:30 -0400 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2018-06-05 08:21:58 -0400 |
| commit | e828ba8cad6deb076e067420c7bdb5c62ff87195 (patch) | |
| tree | 0219657d2c86f35a73716d495d491a102cffa58f | |
| parent | 22e4060d4aec95ee386fdb2c6932cffa0c5e62be (diff) | |
| download | w32lib-e828ba8cad6deb076e067420c7bdb5c62ff87195.tar.bz2 w32lib-e828ba8cad6deb076e067420c7bdb5c62ff87195.tar.xz | |
build system: configure: added initial --program-prefix support.
| -rw-r--r-- | config.usage | 1 | ||||
| -rwxr-xr-x | configure | 7 |
2 files changed, 8 insertions, 0 deletions
diff --git a/config.usage b/config.usage index d93852d..6d2efc4 100644 --- a/config.usage +++ b/config.usage @@ -5,6 +5,7 @@ supported switches: --help --nickname + --program-prefix --avoid-version --source-dir @@ -737,6 +737,9 @@ for arg ; do --nickname=*) mb_nickname=${arg#*=} ;; + --program-prefix=*) + mb_program_prefix=${arg#*=} + ;; --avoid-version) mb_avoid_version='yes' ;; @@ -756,6 +759,10 @@ done # three: validation verify_source_directory +if ! [ -z "$mb_program_prefix" ]; then + error_msg "--program-prefix is not yet fully support (must be null)." +fi + # four: defaults |