GNOME Bugzilla – Bug 722530
#!/bin/bash in autogen.sh
Last modified: 2014-02-09 15:57:23 UTC
Some systems do not have bash installed in /bin, and mutter does not use bash-specific features in autogen.sh. We should change /bin/bash to /bin/sh.
Created attachment 268584 [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 268584 [details] pushed as 9935b4f - autogen.sh: use #!/bin/sh instead of #!/bin/bash