diff options
| -rw-r--r-- | ChangeLog | 3 | ||||
| -rwxr-xr-x | scripts/paxmark.sh | 2 |
2 files changed, 4 insertions, 1 deletions
@@ -1,6 +1,9 @@ 2015-09-03 * scripts/paxmark.sh: make.conf can be a directory + * scripts/paxmark.sh: default to both PT and XT if + no PAX_MARKINGS are set in make.conf. + Reported by James Le Cuirot <chewi@gentoo.org> 2014-12-22 diff --git a/scripts/paxmark.sh b/scripts/paxmark.sh index 9d151f0..71631b7 100755 --- a/scripts/paxmark.sh +++ b/scripts/paxmark.sh @@ -96,5 +96,5 @@ elif [[ -e $MAKE_CONF ]]; then source $MAKE_CONF fi -PAX_MARKINGS=${PAX_MARKINGS:="PT"} +PAX_MARKINGS=${PAX_MARKINGS:="PT XT"} paxmarksh "$@" |