summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--Makefile2
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 23a6a6c..10d4e98 100644
--- a/Makefile
+++ b/Makefile
@@ -111,6 +111,8 @@ $(SRCDIR)/scanners.c: $(SRCDIR)/scanners.re
esac
re2c --case-insensitive -b -i --no-generation-date -o $@ $<
+# We include entities.h in the repository, so normally this
+# doesn't need to be regenerated:
$(SRCDIR)/entities.h: tools/make_entities_h.py
python3 $< > $@