diff options
Diffstat (limited to 'idlc/source/makefile.mk')
| -rw-r--r-- | idlc/source/makefile.mk | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/idlc/source/makefile.mk b/idlc/source/makefile.mk index 37da1509afee..879090d15b54 100644 --- a/idlc/source/makefile.mk +++ b/idlc/source/makefile.mk @@ -120,11 +120,7 @@ YACCFLAGS+=-v .INCLUDE : target.mk $(MISC)$/stripped_scanner.ll : scanner.ll -.IF "$(GUI)"=="UNX" || "$(USE_SHELL)" != "4nt" tr -d "\015" < scanner.ll > $(MISC)$/stripped_scanner.ll -.ELSE - cat scanner.ll > $(MISC)$/stripped_scanner.ll -.ENDIF $(MISC)$/scanner.cxx: $(MISC)$/stripped_scanner.ll flex -o$(MISC)$/scanner.cxx $(MISC)$/stripped_scanner.ll |