changed shell to bash, because pushd is a bash command

This commit is contained in:
tihmstar 2016-12-31 15:17:38 +01:00
parent 47148eed19
commit 0de8b8c088

View file

@ -1,4 +1,4 @@
#!/bin/sh #!/bin/bash
gprefix=`which glibtoolize 2>&1 >/dev/null` gprefix=`which glibtoolize 2>&1 >/dev/null`
if [ $? -eq 0 ]; then if [ $? -eq 0 ]; then
glibtoolize --force glibtoolize --force