GNOME Bugzilla – Bug 722342
#!/bin/bash in autogen.sh
Last modified: 2014-02-09 16:01:46 UTC
Some systems do not have bash installed in /bin, and both gnome-shell and gnome-shell-extensions do not use bash-specific features in autogen.sh. We should change /bin/bash to /bin/sh.
Created attachment 268586 [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.
Created attachment 268587 [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 268586 [details] pushed as 96ef0a1 - autogen.sh: use #!/bin/sh instead of #!/bin/bash