diff options
Diffstat (limited to 'lib-src/makefile.w32-in')
| -rw-r--r-- | lib-src/makefile.w32-in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib-src/makefile.w32-in b/lib-src/makefile.w32-in index 72a04ecff89..552dd1349fc 100644 --- a/lib-src/makefile.w32-in +++ b/lib-src/makefile.w32-in | |||
| @@ -371,6 +371,7 @@ cleanall: clean | |||
| 371 | # Headers we would preprocess if we could. | 371 | # Headers we would preprocess if we could. |
| 372 | # | 372 | # |
| 373 | ../src/config.h: ../nt/$(CONFIG_H) | 373 | ../src/config.h: ../nt/$(CONFIG_H) |
| 374 | $(DEL) $@ | ||
| 374 | echo $(CONFIG_H) has changed. Re-run configure.bat. | 375 | echo $(CONFIG_H) has changed. Re-run configure.bat. |
| 375 | exit -1 | 376 | exit -1 |
| 376 | 377 | ||