summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorXiretza2020-06-11 00:03:20 +0200
committerXiretza2020-06-11 00:03:20 +0200
commit8d21943f8a40ae9d27fd1a397a6c54a915404462 (patch)
treee5d6fce5fbde254c72af32e1c519ffd7ab071553
parent730bf207ff5974f69f2ac31725c5be87bb3a1295 (diff)
downloadaur-8d21943f8a40ae9d27fd1a397a6c54a915404462.tar.gz
Patch bootstrap.sh shebang
-rw-r--r--PKGBUILD4
1 files changed, 4 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
index a5f6a884b311..1c4a332b8241 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,3 +1,4 @@
+# Maintainer: xiretza <xiretza+aur@gmail.com>
# Maintainer: Rod Kay <charlie5 on #ada at freenode.net>
# Contributor: Pierre-Marie de Rodat <pmderodat on #ada at freenode.net>
# Contributor: Earnestly <zibeon AT googlemail.com>
@@ -29,6 +30,9 @@ prepare() {
share/gprconfig/compilers.xml \
share/gprconfig/linker.xml \
share/gprconfig/gnat.xml
+
+ # bootstrap.sh is in fact not POSIX compliant
+ sed -i 's|^#!/bin/sh|#!/bin/bash|' bootstrap.sh
}
build() {