From 200c9adb967df96d3c044ffe2bed25c63a388e8b Mon Sep 17 00:00:00 2001 From: P. J. McDermott Date: Wed, 07 May 2014 20:22:58 -0400 Subject: patches/01_no-bash.patch: New file. --- (limited to 'patches') 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" +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 -- cgit v0.9.1