Skip to content
Snippets Groups Projects

remove obsolete Makefile rules

Merged Andre Maroneze requested to merge fix/makefile-obsolete-rules into master
1 file
+ 1
14
Compare changes
  • Side-by-side
  • Inline
+ 1
14
@@ -118,11 +118,6 @@ clean: $(addsuffix .clean,$(TARGETS))
parse: $(addsuffix .parse,$(TARGETS))
%.stats:
$(MAKE) -C $*/.frama-c stats
stats: $(addsuffix .stats,$(TARGETS))
%.sarif:
$(MAKE) -C $*/.frama-c sarif
@@ -162,12 +157,4 @@ icpc.build.clean:
.FORCE:
.PHONY: $(TARGETS) frama-c/build/bin/frama-c clean-all help stats-all
# for continuous integration: runs all tests, then uses git status and
# git diff to check for unexpected differences
ci-tests: all stats-all
git status --porcelain
git diff --exit-code
ci-tests: export FCFLAGS=-value-verbose 0 -kernel-verbose 0
.PHONY: $(TARGETS) frama-c/build/bin/frama-c help
Loading