diff options
author | midipix <writeonce@midipix.org> | 2016-05-10 16:47:33 -0400 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2016-05-10 16:47:33 -0400 |
commit | 6c7287dff395c576f3493cd753ab95f3090d481f (patch) | |
tree | 938c8fc2f48899442d97be9f1c455d69b6e3a46f /configure | |
parent | 832c05fb818101b76f4c7b607b3a03805bc05c7a (diff) | |
download | sofort-6c7287dff395c576f3493cd753ab95f3090d481f.tar.bz2 sofort-6c7287dff395c576f3493cd753ab95f3090d481f.tar.xz |
build system: configure, project: added --avoid-version support.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 5 |
1 files changed, 5 insertions, 0 deletions
@@ -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." |