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. https://bugzilla.gnome.org/show_bug.cgi?id=722342
parent
ab603e7e
Please register or sign in to comment
We don't have any bashisms in this file, so we may as well use sh. https://bugzilla.gnome.org/show_bug.cgi?id=722342