diff options
| -rw-r--r-- | src/mkheader.c | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/src/mkheader.c b/src/mkheader.c index 154d79f..e05dafd 100644 --- a/src/mkheader.c +++ b/src/mkheader.c @@ -614,11 +614,6 @@ write_special (const char *fname, int lnr, const char *tag) { include_file (fname, lnr, "w32-add.h", write_line); } - else if (!strcmp (host_os, "mingw32ce")) - { - include_file (fname, lnr, "w32-add.h", write_line); - include_file (fname, lnr, "w32ce-add.h", write_line); - } } else if (!strcmp (tag, "include:lock-obj")) { |