Skip to content
Snippets Groups Projects
Commit 21725a17 authored by Patrick Baudin's avatar Patrick Baudin
Browse files

[Makefile] includes FRAMAC_SHARE/Makefile.common

parent bbfe948d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 0 deletions
Makefile
+ 2
− 0
View file @ 21725a17
......@@ -26,6 +26,8 @@ ifndef FRAMAC_SHARE
FRAMAC_SHARE :=$(shell frama-c -journal-disable -print-path)
endif
sinclude ${FRAMAC_SHARE}/Makefile.common
##########################################################################
# Build
......
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