diff options
| -rw-r--r-- | config.project | 1 | ||||
| -rw-r--r-- | config.usage | 1 | ||||
| -rwxr-xr-x | configure | 5 |
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 @@ -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." |