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:55 -0400
commit763920f123823cfc8012c438b2f458f6bd79ef18 (patch)
tree95d593b16bb3ac57584f25517f131a1b64c2d67f
parentda5089a180527db13c7e09231443c5d95311f9ba (diff)
downloadpemagine-763920f123823cfc8012c438b2f458f6bd79ef18.tar.bz2
pemagine-763920f123823cfc8012c438b2f458f6bd79ef18.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