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 | f98c2f01d041d5de6f6d81f9ad9b7553c1015c74 (patch) | |
tree | 0afa5150897857ba71de6f580717c32d5d78fbb7 /configure | |
parent | 20798b2f2a4c12d4401358206bb36d1e7d7a9970 (diff) | |
download | u16ports-f98c2f01d041d5de6f6d81f9ad9b7553c1015c74.tar.bz2 u16ports-f98c2f01d041d5de6f6d81f9ad9b7553c1015c74.tar.xz |
build system: configure: added initial --program-prefix support.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 |