diff options
| -rw-r--r-- | patches/gnuconfig-update/gnuconfig-update.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/patches/gnuconfig-update/gnuconfig-update.sh b/patches/gnuconfig-update/gnuconfig-update.sh new file mode 100644 index 0000000..33cde23 --- /dev/null +++ b/patches/gnuconfig-update/gnuconfig-update.sh @@ -0,0 +1,18 @@ +# Copyright 2006 Gentoo Foundation +# Distributed under the terms of the GNU General Public License v2 + +patch_targets() { + find "${WORKDIR}" -name config.guess -or -name config.sub +} + +patch_required() { + return 0 +} + +patch_trigger_action() { + [[ -f "$1" ]] || return -1 + + local base_param=$(basename "$1") + + cp "${PREFIX}/share/gnuconfig/${base_param}" "$1" +} |