Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
pub
open-source-case-studies
Commits
acbb6156
Commit
acbb6156
authored
Jun 25, 2021
by
Andre Maroneze
💬
Browse files
fix reference to path.mk
parent
10d81544
Pipeline
#36109
failed with stage
in 90 minutes and 1 second
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
acbb6156
...
...
@@ -15,7 +15,7 @@ help::
@
echo
"- 'make clean': clean all analyses"
@
echo
""
@
echo
"*** USAGE WITH FRAMA-C INSTALLED IN THE PATH"
@
echo
"- delete '
frama-c-
path.mk' or comment its lines"
@
echo
"- delete 'path.mk' or comment its lines"
# Note: if the user runs `make framac` before `make submodules`, the latter
# will fail.
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment