diff options
Diffstat (limited to 'src/Makefile.frag')
| -rw-r--r-- | src/Makefile.frag | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/Makefile.frag b/src/Makefile.frag index c8458ea..1236599 100644 --- a/src/Makefile.frag +++ b/src/Makefile.frag | |||
| @@ -1,2 +1,7 @@ | |||
| 1 | $(srcdir)/sp_config_scanner.c: $(srcdir)/sp_config_scanner.re | 1 | $(srcdir)/sp_config_scanner.c: $(srcdir)/sp_config_scanner.re |
| 2 | @$(RE2C) $(RE2C_FLAGS) --no-generation-date -bc -o $@ $< | 2 | if re2c -v |grep ' 2\.' 2>/dev/null; then \ |
| 3 | re2c -bc -o $@ $<; \ | ||
| 4 | re2c --no-generation-date --no-version -bci -o $(srcdir)/sp_config_scanner.cached.c $<; \ | ||
| 5 | else \ | ||
| 6 | cp $(srcdir)/sp_config_scanner.cached.c $@; \ | ||
| 7 | fi; | ||