$(topdir)/jay/jay -ctv <$(topdir)/jay/skeleton.cs $< >$@
consolidate-test-results:
@cp Test/tests/TestResults.log $(CONSOLIDATED_TEST_RESULTS_FILE)
$(topdir)/jay/jay -ctv <$(topdir)/jay/skeleton.cs $< >$@
consolidate-test-results:
@cp Test/tests/TestResults.log $(CONSOLIDATED_TEST_RESULTS_FILE)