Check on $CONFIG_OPTION

Added check on $CONFIG_OPTION to conditionally execute make depend .
This commit is contained in:
gpongelli 2015-08-13 03:06:10 +02:00
parent 03b648cf1b
commit 4067f5ae98
1 changed files with 6 additions and 2 deletions

View File

@ -120,10 +120,14 @@ do
if [ "$1" == "verbose" ]; if [ "$1" == "verbose" ];
then then
if [[ ! -z $CONFIG_OPTIONS ]]; then
make depend make depend
fi
make make
else else
if [[ ! -z $CONFIG_OPTIONS ]]; then
make depend >> "${LOG}" 2>&1 make depend >> "${LOG}" 2>&1
fi
make >> "${LOG}" 2>&1 make >> "${LOG}" 2>&1
fi fi