summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorasgh <asgithub@dsgml.com>2014-09-04 04:32:26 -0400
committerasgh <asgithub@dsgml.com>2014-09-04 04:32:26 -0400
commite738455531f62c5eb40c91838a129d3249b93b86 (patch)
tree78067886b4323dbb742d9d630e7a13e9919c0364
parent799da32081fffdd896496bd9149c9fe612c410a2 (diff)
Better error
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 8ded96b..c0cf96b 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 $< > $@ || rm $@
+ re2c --case-insensitive -bis $< > $@ || (rm $@ && false)
$(SRCDIR)/case_fold_switch.c: $(DATADIR)/CaseFolding-3.2.0.txt
perl mkcasefold.pl < $< > $@