diff options
| -rw-r--r-- | src/Makefile.frag | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile.frag b/src/Makefile.frag index e110544..454ba60 100644 --- a/src/Makefile.frag +++ b/src/Makefile.frag | |||
| @@ -1,5 +1,5 @@ | |||
| 1 | $(srcdir)/sp_config_scanner.c: $(srcdir)/sp_config_scanner.re | 1 | $(srcdir)/sp_config_scanner.c: $(srcdir)/sp_config_scanner.re |
| 2 | if re2c -v |grep ' 2\.' 2>/dev/null; then \ | 2 | if re2c -v |grep ' [23]\.' 2>/dev/null; then \ |
| 3 | re2c -bc -o $@ $<; \ | 3 | re2c -bc -o $@ $<; \ |
| 4 | re2c --no-generation-date --no-version -bci -o $(srcdir)/sp_config_scanner.cached.c $<; \ | 4 | re2c --no-generation-date --no-version -bci -o $(srcdir)/sp_config_scanner.cached.c $<; \ |
| 5 | else \ | 5 | else \ |
