diff options
author | midipix <writeonce@midipix.org> | 2020-01-10 15:59:38 +0000 |
---|---|---|
committer | midipix <writeonce@midipix.org> | 2020-01-10 16:02:55 +0000 |
commit | 65af0483772d9dc15f1d291ba6b6098943f5d562 (patch) | |
tree | 0f47c7d7182166243485613cb7f5061b7fdf6fcc /configure | |
parent | 308d6a928852da8535900d1b548d01e79398f22a (diff) | |
download | w32lib-65af0483772d9dc15f1d291ba6b6098943f5d562.tar.bz2 w32lib-65af0483772d9dc15f1d291ba6b6098943f5d562.tar.xz |
build system: add --pkgbugs (where to file) and --pkghome (project home page).
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 10 |
1 files changed, 10 insertions, 0 deletions
@@ -352,6 +352,8 @@ common_defaults() [ -n "$mb_pkgrepo" ] || mb_pkgrepo="$mb_default_pkgrepo" [ -n "$mb_pkgpsrc" ] || mb_pkgpsrc="$mb_default_pkgpsrc" [ -n "$mb_pkgdurl" ] || mb_pkgdurl="$mb_default_pkgdurl" + [ -n "$mb_pkgbugs" ] || mb_pkgbugs="$mb_default_pkgbugs" + [ -n "$mb_pkghome" ] || mb_pkghome="$mb_default_pkghome" [ -n "$mb_pkgdefs" ] || mb_pkgdefs="$mb_default_pkgdefs" [ -n "$mb_pkglibs" ] || mb_pkglibs="$mb_default_pkglibs" @@ -854,6 +856,14 @@ for arg ; do mb_pkgdurl=${arg#*=} ;; + --pkgbugs=*) + mb_pkgbugs=${arg#*=} + ;; + + --pkghome=*) + mb_pkghome=${arg#*=} + ;; + --pkgdefs=*) mb_pkgdefs=${arg#*=} ;; |