Instead, it should assume that omr/makefile ensured all object files are up to date.
This reverts #7366 (which is unnecessary) and restores a rule for $(OBJECTS) (removed in #7177) that tolerates clock skew on build systems (it wasn't "useless" after all).
Instead, it should assume that
omr/makefile
ensured all object files are up to date.This reverts #7366 (which is unnecessary) and restores a rule for
$(OBJECTS)
(removed in #7177) that tolerates clock skew on build systems (it wasn't "useless" after all).