diff options
-rw-r--r-- | scripts/mkmakefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/scripts/mkmakefile b/scripts/mkmakefile index e65d8b33faa4..67d59c7a18dc 100644 --- a/scripts/mkmakefile +++ b/scripts/mkmakefile | |||
@@ -17,7 +17,9 @@ if test -e $2/Makefile && ! grep -q Automatically $2/Makefile | |||
17 | then | 17 | then |
18 | exit 0 | 18 | exit 0 |
19 | fi | 19 | fi |
20 | echo " GEN $2/Makefile" | 20 | if [ "${quiet}" != "silent_" ]; then |
21 | echo " GEN $2/Makefile" | ||
22 | fi | ||
21 | 23 | ||
22 | cat << EOF > $2/Makefile | 24 | cat << EOF > $2/Makefile |
23 | # Automatically generated by $0: don't edit | 25 | # Automatically generated by $0: don't edit |