diff options
Diffstat (limited to 'support/scripts')
| -rwxr-xr-x | support/scripts/mkmakefile | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/support/scripts/mkmakefile b/support/scripts/mkmakefile index 833be6a92c..37162a3173 100755 --- a/support/scripts/mkmakefile +++ b/support/scripts/mkmakefile @@ -15,9 +15,7 @@ if test -e $2/Makefile && ! grep -q Automatically $2/Makefile then exit 0 fi -if [ "${quiet}" != "silent_" ]; then - echo " GEN $2/Makefile" -fi +echo " GEN $2/Makefile" cat << EOF > $2/Makefile # Automatically generated by $0: don't edit |
