summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure7
1 files changed, 7 insertions, 0 deletions
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