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

[c-testsuite] fix path.mk

parent 41bb1c08
No related branches found
No related tags found
Checking pipeline status
Hide whitespace changes
Inline Side-by-side
c-testsuite/.frama-c/path.mk deleted 100644 → 0
+ 1
− 7
View file @ 41bb1c08
FRAMAC_BIN=../../frama-c/build/bin
ifeq ($(wildcard $(FRAMAC_BIN)),)
# Frama-C not installed locally; using the version in the PATH
else
FRAMAC=$(FRAMAC_BIN)/frama-c
FRAMAC_GUI=$(FRAMAC_BIN)/frama-c-gui
endif
c-testsuite/.frama-c/path.mk 0 → 120000
+ 1
− 7
View file @ 89a9e7d1
../../path.mk
\ No newline at end of file
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