diff options
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/mkmakefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/mkmakefile b/scripts/mkmakefile index ee39facee152..9ad1bd793252 100644 --- a/scripts/mkmakefile +++ b/scripts/mkmakefile | |||
| @@ -11,6 +11,12 @@ | |||
| 11 | 11 | ||
| 12 | 12 | ||
| 13 | test ! -r $2/Makefile -o -O $2/Makefile || exit 0 | 13 | test ! -r $2/Makefile -o -O $2/Makefile || exit 0 |
| 14 | # Only overwrite automatically generated Makefiles | ||
| 15 | # (so we do not overwrite kernel Makefile) | ||
| 16 | if ! grep -q Automatically $2/Makefile | ||
| 17 | then | ||
| 18 | exit 0 | ||
| 19 | fi | ||
| 14 | echo " GEN $2/Makefile" | 20 | echo " GEN $2/Makefile" |
| 15 | 21 | ||
| 16 | cat << EOF > $2/Makefile | 22 | cat << EOF > $2/Makefile |
