Skip to content
Snippets Groups Projects
Commit b6130869 authored by Andre Maroneze's avatar Andre Maroneze
Browse files

remove obsolete Makefile rules

parent efa6c2d3
No related branches found
No related tags found
1 merge request!36remove obsolete Makefile rules
Pipeline #50650 passed
Stage: test
    Hide whitespace changes
    Inline Side-by-side
    Showing
    with 1 addition and 14 deletions
    Makefile
    + 1
    − 14
    View file @ b6130869
    ...@@ -118,11 +118,6 @@ clean: $(addsuffix .clean,$(TARGETS)) ...@@ -118,11 +118,6 @@ clean: $(addsuffix .clean,$(TARGETS))
    parse: $(addsuffix .parse,$(TARGETS)) parse: $(addsuffix .parse,$(TARGETS))
    %.stats:
    $(MAKE) -C $*/.frama-c stats
    stats: $(addsuffix .stats,$(TARGETS))
    %.sarif: %.sarif:
    $(MAKE) -C $*/.frama-c sarif $(MAKE) -C $*/.frama-c sarif
    ...@@ -162,12 +157,4 @@ icpc.build.clean: ...@@ -162,12 +157,4 @@ icpc.build.clean:
    .FORCE: .FORCE:
    .PHONY: $(TARGETS) frama-c/build/bin/frama-c clean-all help stats-all .PHONY: $(TARGETS) frama-c/build/bin/frama-c help
    # 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
    0% or .
    You are about to add 0 people to the discussion. Proceed with caution.
    Finish editing this message first!
    Please register or to comment