port r17421 from 1.2: Also look for leak sanitizer errors and warnings

starpu.mk

@@ -4,6 +4,8 @@ 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 "ERROR: LeakSanitizer: " $(TEST_LOGS) /dev/null
+	! grep -q "WARNING: LeakSanitizer: " $(TEST_LOGS) /dev/null
 	! grep -q " runtime error: " $(TEST_LOGS) /dev/null
 	RET=0 ; \
 	for i in $(SUBDIRS) ; do \