search

runtimeverification / rv-predict

Code for improved rv-predict and installer
BSD 3-Clause "New" or "Revised" License
2 stars 3 forks source link

Fix the `tags` target by taking away the `.include <mkc.init.mk>` at the #1028

Closed gnuoyd closed 5 years ago

gnuoyd commented 5 years ago

top of the Makefile: it caused our custom mk.conf to be evaluated before important variables like SRCS were set. TBD: fix other Makefiles?

I hope this doesn't break something else. I guess that the automated tests will tell us.