summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-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