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 96464e39506..0deb0012f88 100644 --- a/lib-src/makefile.w32-in +++ b/lib-src/makefile.w32-in | |||
| @@ -318,7 +318,7 @@ cleanall: clean | |||
| 318 | # Headers we would preprocess if we could. | 318 | # Headers we would preprocess if we could. |
| 319 | # | 319 | # |
| 320 | ../src/config.h: ../nt/$(CONFIG_H) | 320 | ../src/config.h: ../nt/$(CONFIG_H) |
| 321 | echo config.h has changed. Re-run configure.bat. | 321 | echo $(CONFIG_H) has changed. Re-run configure.bat. |
| 322 | exit -1 | 322 | exit -1 |
| 323 | 323 | ||
| 324 | getopt.h: getopt_.h | 324 | getopt.h: getopt_.h |