starpu.mk 568 B

123456789101112131415
  1. showcheck:
  2. -cat $(TEST_LOGS) /dev/null
  3. @! grep -q "ERROR: AddressSanitizer: " $(TEST_LOGS) /dev/null
  4. @! grep -q "WARNING: AddressSanitizer: " $(TEST_LOGS) /dev/null
  5. @! grep -q "ERROR: ThreadSanitizer: " $(TEST_LOGS) /dev/null
  6. @! grep -q "WARNING: ThreadSanitizer: " $(TEST_LOGS) /dev/null
  7. @! grep -q "ERROR: LeakSanitizer: " $(TEST_LOGS) /dev/null
  8. @! grep -q "WARNING: LeakSanitizer: " $(TEST_LOGS) /dev/null
  9. @! grep -q " runtime error: " $(TEST_LOGS) /dev/null
  10. RET=0 ; \
  11. for i in $(SUBDIRS) ; do \
  12. make -C $$i showcheck || RET=1 ; \
  13. done ; \
  14. exit $$RET