diff options
| -rw-r--r-- | Ports/gnucobol/patches/0001-Use-bin-bash-instead-of-bin-sh-for-shebang.patch | 22 | ||||
| -rw-r--r-- | Ports/gnucobol/patches/ReadMe.md | 7 | ||||
| -rw-r--r-- | Ports/gnucobol/patches/cob-config.patch | 8 |
3 files changed, 29 insertions, 8 deletions
diff --git a/Ports/gnucobol/patches/0001-Use-bin-bash-instead-of-bin-sh-for-shebang.patch b/Ports/gnucobol/patches/0001-Use-bin-bash-instead-of-bin-sh-for-shebang.patch new file mode 100644 index 0000000000..6c1a6b8e45 --- /dev/null +++ b/Ports/gnucobol/patches/0001-Use-bin-bash-instead-of-bin-sh-for-shebang.patch @@ -0,0 +1,22 @@ +From 1cb46c1d7736ebbfe00194e675d29308beb94911 Mon Sep 17 00:00:00 2001 +From: Brendan Coles <bcoles@gmail.com> +Date: Thu, 8 Apr 2021 12:14:24 +0000 +Subject: [PATCH] Use /bin/bash instead of /bin/sh for shebang + +--- + bin/cob-config.in | 2 +- + 1 file changed, 1 insertion(+), 1 deletion(-) + +diff --git a/bin/cob-config.in b/bin/cob-config.in +index 6c07e7d..3086d8c 100644 +--- a/bin/cob-config.in ++++ b/bin/cob-config.in +@@ -1,4 +1,4 @@ +-#!/bin/sh ++#!/bin/bash + # + # cob-config + # +-- +2.36.1 + diff --git a/Ports/gnucobol/patches/ReadMe.md b/Ports/gnucobol/patches/ReadMe.md new file mode 100644 index 0000000000..9487a4d0de --- /dev/null +++ b/Ports/gnucobol/patches/ReadMe.md @@ -0,0 +1,7 @@ +# Patches for gnucobol on SerenityOS + +## `0001-Use-bin-bash-instead-of-bin-sh-for-shebang.patch` + +Use /bin/bash instead of /bin/sh for shebang + + diff --git a/Ports/gnucobol/patches/cob-config.patch b/Ports/gnucobol/patches/cob-config.patch deleted file mode 100644 index 7fb418e361..0000000000 --- a/Ports/gnucobol/patches/cob-config.patch +++ /dev/null @@ -1,8 +0,0 @@ ---- gnucobol-3.1.2/bin/cob-config.in 2020-12-23 02:51:16.000000000 -0800 -+++ gnucobol-3.1.2/bin/cob-config.in 2021-04-08 03:05:22.989720870 -0700 -@@ -1,4 +1,4 @@ --#!/bin/sh -+#!/bin/bash - # - # cob-config - # |