GNOME Bugzilla – Bug 722532
#!/bin/bash in autogen.sh
Last modified: 2014-02-09 15:59:07 UTC
Some systems do not have bash installed in /bin, and polari does not use
bash-specific features in autogen.sh. We should change /bin/bash to /bin/sh.
Created attachment 268585 [details] [review]
autogen.sh: use #!/bin/sh instead of #!/bin/bash
We don't have any bashisms in this file, so we may as well use sh.
Attachment 268585 [details] pushed as 429561e - autogen.sh: use #!/bin/sh instead of #!/bin/bash