diff options
| author | midipix <writeonce@midipix.org> | 2016-05-10 16:47:33 -0400 |
|---|---|---|
| committer | midipix <writeonce@midipix.org> | 2016-11-10 23:35:48 -0500 |
| commit | d564ee4ff9daba100a6f938791d2837ead3f25c7 (patch) | |
| tree | a56f201a1a7832a0700559b6b157171d8d1a4384 | |
| parent | 218dfccb27ef4b2de7115548006caf147df53d82 (diff) | |
| download | perk-d564ee4ff9daba100a6f938791d2837ead3f25c7.tar.bz2 perk-d564ee4ff9daba100a6f938791d2837ead3f25c7.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 f953169..89f2f59 100644 --- a/config.project +++ b/config.project @@ -2,6 +2,7 @@ mb_package=perk 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." |