Details
-
Bug
-
Resolution: Fixed
-
P3
-
8
-
b76
Description
It's easy to forget to run configure after a pull and it's not obvious if you need to. We should add a make rule that checks if spec.gmk is older than the files in common/autoconf and fail with a helpful error message.