diff options
author | Xiretza | 2020-06-11 00:03:20 +0200 |
---|---|---|
committer | Xiretza | 2020-06-11 00:03:20 +0200 |
commit | 8d21943f8a40ae9d27fd1a397a6c54a915404462 (patch) | |
tree | e5d6fce5fbde254c72af32e1c519ffd7ab071553 | |
parent | 730bf207ff5974f69f2ac31725c5be87bb3a1295 (diff) | |
download | aur-8d21943f8a40ae9d27fd1a397a6c54a915404462.tar.gz |
Patch bootstrap.sh shebang
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -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() { |