diff options
| -rw-r--r-- | scripts/mkmakefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/mkmakefile b/scripts/mkmakefile index e65d8b33faa..67d59c7a18d 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 |