summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2018-06-03 20:34:30 -0400
committermidipix <writeonce@midipix.org>2018-06-05 08:21:51 -0400
commitc3b00a41c5f74857b9242742c703c0a8ae55931c (patch)
tree8a6c2dcfe16b21f94675b9928909834bb514f0f0
parent313f34ae264eaf73988d16b66d963ef771e96e36 (diff)
downloadmdso-c3b00a41c5f74857b9242742c703c0a8ae55931c.tar.bz2
mdso-c3b00a41c5f74857b9242742c703c0a8ae55931c.tar.xz
build system: configure: added initial --program-prefix support.
-rw-r--r--config.usage1
-rwxr-xr-xconfigure7
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
diff --git a/configure b/configure
index c7bb6ff..cf72976 100755
--- a/configure
+++ b/configure
@@ -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