diff options
Diffstat (limited to 'patches/01_no-bash.patch')
| -rw-r--r-- | patches/01_no-bash.patch | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/patches/01_no-bash.patch b/patches/01_no-bash.patch deleted file mode 100644 index 9f032a7..0000000 --- a/patches/01_no-bash.patch +++ /dev/null @@ -1,15 +0,0 @@ -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 |