diff options
| author | BeF | 2022-07-20 12:15:07 +0200 |
|---|---|---|
| committer | GitHub | 2022-07-20 12:15:07 +0200 |
| commit | 2aed4220c2d019cc9b46fec70cfd79d249498e14 (patch) | |
| tree | e7cc3d1d4db617fc5ab1dbcc60f2366407eb5da5 /src/Makefile.frag | |
| parent | 72109c9bf016145364b19162a5ff998fc5858a9c (diff) | |
| parent | 75595945d1d868fbd6db743809ca8a3eb5de3113 (diff) | |
Merge pull request #1 from jvoisin/pr1
pr for fetching upstream
Diffstat (limited to 'src/Makefile.frag')
| -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 \ |
