diff options
| author | Juanma Barranquero <lekktu@gmail.com> | 2010-09-29 17:07:34 +0200 |
|---|---|---|
| committer | Juanma Barranquero <lekktu@gmail.com> | 2010-09-29 17:07:34 +0200 |
| commit | a69edb8adff6683988ee0b19179dd85c1c35edf0 (patch) | |
| tree | b62f2c96eee4e03f1ec9ea006b4d37af7d9792c5 /lib-src/makefile.w32-in | |
| parent | e6059fa2447b7d7b147fbb97ec67bf3ec09622fc (diff) | |
| download | emacs-a69edb8adff6683988ee0b19179dd85c1c35edf0.tar.gz | |
lib-src/makefile.w32-in (../src/config.h): Remove target, it is stale.
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 # Headers we would preprocess if we could. # ../src/config.h: ../nt/$(CONFIG_H) + $(DEL) $@ echo $(CONFIG_H) has changed. Re-run configure.bat. exit -1 |