Explorar el Código

port r17418 from 1.2: catch usan runtime errors

Samuel Thibault hace 9 años
padre
commit
72eafc4ce3
Se han modificado 1 ficheros con 1 adiciones y 0 borrados
  1. 1 0
      starpu.mk

+ 1 - 0
starpu.mk

@@ -4,6 +4,7 @@ showcheck:
 	! grep -q "WARNING: AddressSanitizer: " $(TEST_LOGS) /dev/null
 	! grep -q "ERROR: ThreadSanitizer: " $(TEST_LOGS) /dev/null
 	! grep -q "WARNING: ThreadSanitizer: " $(TEST_LOGS) /dev/null
+	! grep -q " runtime error: " $(TEST_LOGS) /dev/null
 	RET=0 ; \
 	for i in $(SUBDIRS) ; do \
 		make -C $$i showcheck || RET=1 ; \