diff --git a/scripts/mkmakefile b/scripts/mkmakefile index e65d8b33faa4cae649044fb48d8fc87fa012d574..67d59c7a18dc57b1580a833ed37e832eff227c85 100644 --- a/scripts/mkmakefile +++ b/scripts/mkmakefile @@ -17,7 +17,9 @@ if test -e $2/Makefile && ! grep -q Automatically $2/Makefile then exit 0 fi -echo " GEN $2/Makefile" +if [ "${quiet}" != "silent_" ]; then + echo " GEN $2/Makefile" +fi cat << EOF > $2/Makefile # Automatically generated by $0: don't edit