summaryrefslogtreecommitdiffhomepage
path: root/configure
diff options
context:
space:
mode:
authormidipix <writeonce@midipix.org>2016-05-10 16:47:33 -0400
committermidipix <writeonce@midipix.org>2016-11-11 00:22:44 -0500
commit67ced2895a0c32e6c42b3fcf6edc64d35be816e6 (patch)
treeec44e8fc54abd3dc46b88bd69eb0b53def07b603 /configure
parent53e4f7917aafb3b4c549790ba23565b466632102 (diff)
downloadmdso-67ced2895a0c32e6c42b3fcf6edc64d35be816e6.tar.bz2
mdso-67ced2895a0c32e6c42b3fcf6edc64d35be816e6.tar.xz
build system: configure, project: added --avoid-version support.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 5 insertions, 0 deletions
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."