Skip to content
GitLab
Explore
Sign in
pub
frama-c
Repository
frama-c
Makefile
Find file
Blame
History
Permalink
[Makefile] .depend does not depend on anything
· e08ed196
Virgile Prevosto
authored
Oct 16, 2020
Avoid calling too many times `make depend` in case a generated file changes
e08ed196