diff options
| author | Robin Burchell <robin+git@viroteck.net> | 2019-05-28 10:25:10 +0200 |
|---|---|---|
| committer | Andreas Kling <awesomekling@gmail.com> | 2019-05-28 11:03:18 +0200 |
| commit | 2b1a52745e136b22cde59ac8a75f7f3d1115abf6 (patch) | |
| tree | bf674af5f8056e36bf8e50f6864fafee28bbea2a /Ports/bash | |
| parent | 9a284ad3f75629dc3d5b5a026a9a2b3c76704bca (diff) | |
| download | serenity-2b1a52745e136b22cde59ac8a75f7f3d1115abf6.zip | |
Ports: Remove MAKEOPTS hacks from bash
This doesn't seem to go wrong anymore.
Diffstat (limited to 'Ports/bash')
| -rwxr-xr-x | Ports/bash/bash.sh | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/Ports/bash/bash.sh b/Ports/bash/bash.sh index 802f94ed02..5cafa2344c 100755 --- a/Ports/bash/bash.sh +++ b/Ports/bash/bash.sh @@ -1,6 +1,4 @@ #!/bin/sh -MAKEOPTS=" " # bash will die weirdly if you try build with multiple jobs. -INSTALLOPTS=" " PORT_DIR=bash function fetch() { run_fetch_git "https://git.savannah.gnu.org/git/bash.git" |