diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-05-07 20:22:58 (EDT) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-05-07 20:22:58 (EDT) |
| commit | 200c9adb967df96d3c044ffe2bed25c63a388e8b (patch) | |
| tree | 476392ae29dea5f99156cf56c9ae45cd327618e6 | |
| parent | b7f79e0fd402bd1b5160f9c4fa85cf03237dc44f (diff) | |
patches/01_no-bash.patch: New file.
| -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 |