In 7805ee5ab65b8630f31f30ca253e2cffa4f99b32 code was added to automatically build the *.opb if it is missing. This is very convenient, but it only checks if the * .opb file exists. It would even be more useful if it would compare the file dates and rebuild the behavior if the source file is never that the compiled one.
In the current version it somehow encourages you to remove the buildopset step from your Makefile, but then later changes to the source file are not picked up correctly.
In 7805ee5ab65b8630f31f30ca253e2cffa4f99b32 code was added to automatically build the
*.opbif it is missing. This is very convenient, but it only checks if the* .opbfile exists. It would even be more useful if it would compare the file dates and rebuild the behavior if the source file is never that the compiled one.In the current version it somehow encourages you to remove the
buildopsetstep from your Makefile, but then later changes to the source file are not picked up correctly.