summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--config.project1
-rw-r--r--config.usage1
-rwxr-xr-xconfigure5
3 files changed, 7 insertions, 0 deletions
diff --git a/config.project b/config.project
index bc02099..20bc66b 100644
--- a/config.project
+++ b/config.project
@@ -2,6 +2,7 @@
mb_package=mdso
mb_require_out_of_tree=no
mb_custom_install_headers=no
+mb_avoid_version=no
# build
diff --git a/config.usage b/config.usage
index 7b6f359..3d334a8 100644
--- a/config.usage
+++ b/config.usage
@@ -5,6 +5,7 @@ supported switches:
--help
--nickname
+ --avoid-version
--prefix
--exec-prefix
diff --git a/configure b/configure
index c7248ef..4dacc2a 100755
--- a/configure
+++ b/configure
@@ -119,6 +119,7 @@ common_defaults()
{
# project
[ -z "$mb_nickname" ] && mb_nickname=$mb_package
+ [ -z "$mb_avoid_version" ] && mb_avoid_version='no'
# dirs
[ -z "$mb_prefix" ] && [ -z "$mb_prefix_set" ] \
@@ -356,6 +357,7 @@ config_copy()
-e 's^@project_dir@^'"$mb_project_dir"'^g' \
-e 's^@git_reference_dir@^'"$mb_git_reference_dir"'^g' \
-e 's^@custom_install_headers@^'"$mb_custom_install_headers"'^g' \
+ -e 's^@avoid_version@^'"$mb_avoid_version"'^g' \
\
-e 's^@build@^'"$mb_build"'^g' \
-e 's^@host@^'"$mb_host"'^g' \
@@ -580,6 +582,9 @@ for arg ; do
--nickname=*)
mb_nickname=${arg#*=}
;;
+ --avoid-version)
+ mb_avoid_version='yes'
+ ;;
*)
error_msg ${arg#}: "unsupported config argument."