diff options
| -rw-r--r-- | patches/01_no-bash.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/patches/01_no-bash.patch b/patches/01_no-bash.patch new file mode 100644 index 0000000..9f032a7 --- /dev/null +++ b/patches/01_no-bash.patch @@ -0,0 +1,15 @@ +Author: "P. J. McDermott" <pj@pehjota.net> +Subject: Build without GNU Bash + +diff -Naur src.orig/scripts/link-vmlinux.sh src/scripts/link-vmlinux.sh +--- src.orig/scripts/link-vmlinux.sh 2014-04-26 20:16:33.000000000 -0400 ++++ src/scripts/link-vmlinux.sh 2014-05-07 10:58:59.140761084 -0400 +@@ -105,7 +105,7 @@ + } + + # Delete output files in case of error +-trap cleanup SIGHUP SIGINT SIGQUIT SIGTERM ERR ++trap cleanup SIGHUP SIGINT SIGQUIT SIGTERM + cleanup() + { + rm -f .old_version |