summaryrefslogtreecommitdiff
path: root/src/Makefile.frag
diff options
context:
space:
mode:
authorBeF2022-07-20 12:15:07 +0200
committerGitHub2022-07-20 12:15:07 +0200
commit2aed4220c2d019cc9b46fec70cfd79d249498e14 (patch)
treee7cc3d1d4db617fc5ab1dbcc60f2366407eb5da5 /src/Makefile.frag
parent72109c9bf016145364b19162a5ff998fc5858a9c (diff)
parent75595945d1d868fbd6db743809ca8a3eb5de3113 (diff)
Merge pull request #1 from jvoisin/pr1
pr for fetching upstream
Diffstat (limited to 'src/Makefile.frag')
-rw-r--r--src/Makefile.frag2
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 \