mirror of
https://github.com/edu4rdshl/gnome-shell.git
synced 2026-07-17 23:24:51 +00:00
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
This commit is contained in:
parent
ab603e7ef7
commit
96ef0a178d
1 changed files with 1 additions and 1 deletions
|
|
@ -1,4 +1,4 @@
|
|||
#!/bin/bash
|
||||
#!/bin/sh
|
||||
# Run this to generate all the initial makefiles, etc.
|
||||
|
||||
srcdir=`dirname $0`
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue