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 | |
| parent | 832c05fb818101b76f4c7b607b3a03805bc05c7a (diff) | |
| download | sofort-6c7287dff395c576f3493cd753ab95f3090d481f.tar.bz2 sofort-6c7287dff395c576f3493cd753ab95f3090d481f.tar.xz | |
build system: configure, project: added --avoid-version support.
| -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 70b2e28..ba55c44 100644 --- a/config.project +++ b/config.project @@ -2,6 +2,7 @@ mb_package=sofort 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." |