diff options
Diffstat (limited to 'lib-src/makefile.w32-in')
| -rw-r--r-- | lib-src/makefile.w32-in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib-src/makefile.w32-in b/lib-src/makefile.w32-in index 564487a5858..5ac6555f46d 100644 --- a/lib-src/makefile.w32-in +++ b/lib-src/makefile.w32-in | |||
| @@ -308,7 +308,7 @@ cleanall: clean | |||
| 308 | # Headers we would preprocess if we could. | 308 | # Headers we would preprocess if we could. |
| 309 | # | 309 | # |
| 310 | ../src/config.h: ../nt/$(CONFIG_H) | 310 | ../src/config.h: ../nt/$(CONFIG_H) |
| 311 | echo config.h has changed. Re-run configure.bat. | 311 | echo $(CONFIG_H) has changed. Re-run configure.bat. |
| 312 | exit -1 | 312 | exit -1 |
| 313 | 313 | ||
| 314 | getopt.h: getopt_.h | 314 | getopt.h: getopt_.h |