diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/mkmakefile | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/scripts/mkmakefile b/scripts/mkmakefile index a22cbedd3b3e..7f9d544f9b6c 100644 --- a/scripts/mkmakefile +++ b/scripts/mkmakefile | |||
| @@ -10,7 +10,10 @@ | |||
| 10 | # $4 - patchlevel | 10 | # $4 - patchlevel |
| 11 | 11 | ||
| 12 | 12 | ||
| 13 | cat << EOF | 13 | test ! -r $2/Makefile -o -O $2/Makefile || exit 0 |
| 14 | echo " GEN $2/Makefile" | ||
| 15 | |||
| 16 | cat << EOF > $2/Makefile | ||
| 14 | # Automatically generated by $0: don't edit | 17 | # Automatically generated by $0: don't edit |
| 15 | 18 | ||
| 16 | VERSION = $3 | 19 | VERSION = $3 |