diff options
| author | jvoisin | 2022-03-20 18:20:45 +0100 |
|---|---|---|
| committer | jvoisin | 2022-03-20 18:20:45 +0100 |
| commit | 81dd7f2ef07af306fe83d7755cbac4529aa9fc8d (patch) | |
| tree | 32cc44c6231b30db5ac7b15699297863460784aa /src/Makefile.frag | |
| parent | 83b01942dfc80474cc05e09aeef4b44307a7120b (diff) | |
| parent | c38df1077a6c1dfbca1baca049214d053e2e7684 (diff) | |
Merge remote-tracking branch 'sektioneins/master'
Diffstat (limited to 'src/Makefile.frag')
| -rw-r--r-- | src/Makefile.frag | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/Makefile.frag b/src/Makefile.frag new file mode 100644 index 0000000..e110544 --- /dev/null +++ b/src/Makefile.frag | |||
| @@ -0,0 +1,11 @@ | |||
| 1 | $(srcdir)/sp_config_scanner.c: $(srcdir)/sp_config_scanner.re | ||
| 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; | ||
| 8 | |||
| 9 | .PHONY: tests | ||
| 10 | tests: | ||
| 11 | $(MAKE) test NO_INTERACTION=1 SP_NODEBUG=1 SP_SKIP_OLD_PHP_CHECK=1 $(TESTS) | ||
