diff options
Diffstat (limited to 'dns/knot-resolver/files/patch-Makefile')
| -rw-r--r-- | dns/knot-resolver/files/patch-Makefile | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/dns/knot-resolver/files/patch-Makefile b/dns/knot-resolver/files/patch-Makefile deleted file mode 100644 index 52a4f3d9b872..000000000000 --- a/dns/knot-resolver/files/patch-Makefile +++ /dev/null @@ -1,8 +0,0 @@ ---- Makefile.orig 2018-07-02 17:45:52.000000000 +0200 -+++ Makefile 2018-07-04 10:35:57.228161000 +0200 -@@ -1,4 +1,4 @@ --SHELL=/bin/bash -o pipefail -o errexit -+SHELL=/usr/local/bin/bash -o pipefail -o errexit - - include config.mk - include platform.mk |