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
frama-c
Commits
e08ed196
Commit
e08ed196
authored
Oct 16, 2020
by
Virgile Prevosto
Browse files
[Makefile] .depend does not depend on anything
Avoid calling too many times `make depend` in case a generated file changes
parent
1d2c7495
Changes
1
Hide whitespace changes
Inline
Side-by-side
Makefile
View file @
e08ed196
...
...
@@ -2303,7 +2303,7 @@ PLUGIN_DEP_LIST:=$(PLUGIN_LIST)
# in case .depend is absent, we will make it. Otherwise, it will be left
# untouched. Only make depend will force a recomputation of dependencies
.depend
:
$(GENERATED) share/Makefile.dynamic_config
.depend
:
$(MAKE)
depend
depend
::
$(GENERATED) share/Makefile.dynamic_config
...
...
Write
Preview
Markdown
is supported
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