Removing shell specific extensions and call of scripts/config and scripts/clean, thanks to Tzafrir Cohen <tzafrir.cohen@xorcom.com>.
This commit is contained in:
parent
0c9e2bf57c
commit
2e9433d58d
|
@ -10,9 +10,9 @@
|
|||
set -e
|
||||
|
||||
# Read meta config
|
||||
if [ "${1}" != "autoconfig" ] && [ -e scripts/clean.sh ]
|
||||
if [ "${1}" != "autoconfig" ] && [ -x scripts/clean ]
|
||||
then
|
||||
sh scripts/clean.sh ${@}
|
||||
./scripts/clean ${@}
|
||||
else
|
||||
shift
|
||||
fi
|
||||
|
|
|
@ -10,9 +10,9 @@
|
|||
set -e
|
||||
|
||||
# Read meta config
|
||||
if [ "${1}" != "autoconfig" ] && [ -e scripts/config.sh ]
|
||||
if [ "${1}" != "autoconfig" ] && [ -x scripts/config ]
|
||||
then
|
||||
sh scripts/config.sh ${@}
|
||||
./scripts/config ${@}
|
||||
else
|
||||
shift
|
||||
fi
|
||||
|
|
Loading…
Reference in New Issue