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

normalize Makefile

parent ad994375
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
Makefile
+ 1
− 1
View file @ 304f8295
...@@ -23,7 +23,7 @@ ...@@ -23,7 +23,7 @@
.PHONY: all build clean .PHONY: all build clean
ifndef FRAMAC_SHARE ifndef FRAMAC_SHARE
FRAMAC_SHARE :=$(shell frama-c -journal-disable -print-path) FRAMAC_SHARE :=$(shell frama-c-config -print-share-path)
endif endif
sinclude ${FRAMAC_SHARE}/Makefile.common sinclude ${FRAMAC_SHARE}/Makefile.common
......
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