diff options
author | Larkin <45925460+larb0b@users.noreply.github.com> | 2019-09-24 02:56:39 -0400 |
---|---|---|
committer | Andreas Kling <awesomekling@gmail.com> | 2019-09-24 08:56:39 +0200 |
commit | 18249b599634be4162b4ddbb32f002c75ee07060 (patch) | |
tree | dd7c700f0f0833ffffc782995da3108d82c43a3e /Ports/bash/patches/configure-system.patch | |
parent | d5f1c57fe2cc7cf863b4c99b4d11460f3b547c2c (diff) | |
download | serenity-18249b599634be4162b4ddbb32f002c75ee07060.zip |
Ports: Switch to new ports system (#594)
Much redundancy is removed from package scripts with this system.
It also supports simple dependency management, uninstalling (through
BSD ports style plist files), cleaning up after itself (with clean,
clean_dist, clean_all commands), etc.
Diffstat (limited to 'Ports/bash/patches/configure-system.patch')
-rw-r--r-- | Ports/bash/patches/configure-system.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/Ports/bash/patches/configure-system.patch b/Ports/bash/patches/configure-system.patch new file mode 100644 index 0000000000..5a642d7816 --- /dev/null +++ b/Ports/bash/patches/configure-system.patch @@ -0,0 +1,13 @@ +diff --git a/support/config.sub b/support/config.sub +index f208558e..fb8fa19e 100755 +--- a/support/config.sub ++++ b/support/config.sub +@@ -1360,7 +1360,7 @@ case $os in + | powermax* | dnix* | nx6 | nx7 | sei* | dragonfly* \ + | skyos* | haiku* | rdos* | toppers* | drops* | es* \ + | onefs* | tirtos* | phoenix* | fuchsia* | redox* | bme* \ +- | midnightbsd*) ++ | midnightbsd* | serenity*) + # Remember, each alternative MUST END IN *, to match a version number. + ;; + qnx*) |