summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorasgh <asgithub@dsgml.com>2014-09-04 03:57:17 -0400
committerasgh <asgithub@dsgml.com>2014-09-04 03:57:17 -0400
commit799da32081fffdd896496bd9149c9fe612c410a2 (patch)
tree08c87ef94f7deed0a10fbe5e83ffcc5f930dac8f
parente92aabbbf6b02339cd160203f054f5f150d951f2 (diff)
Don't leave empty file if re2c is missing
Fixes Issue #35
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index ee3c204..8ded96b 100644
--- a/Makefile
+++ b/Makefile
@@ -45,7 +45,7 @@ $(PROG): $(SRCDIR)/main.c $(SRCDIR)/inlines.o $(SRCDIR)/blocks.o $(SRCDIR)/detab
$(CC) $(LDFLAGS) -o $@ $^
$(SRCDIR)/scanners.c: $(SRCDIR)/scanners.re
- re2c --case-insensitive -bis $< > $@
+ re2c --case-insensitive -bis $< > $@ || rm $@
$(SRCDIR)/case_fold_switch.c: $(DATADIR)/CaseFolding-3.2.0.txt
perl mkcasefold.pl < $< > $@