diff --git a/scripts/patchtest b/scripts/patchtest index 8c9a73e1db..d0dc6e8fac 100755 --- a/scripts/patchtest +++ b/scripts/patchtest @@ -162,7 +162,7 @@ def run(patch, logfile=None): print('----------------------------------------------------------------------\n') if premerge_result == 2 and postmerge_result == 2: - logger.error('patchtest: Not any test cases found - did you specify the correct suite directory?') + logger.error('patchtest: No test cases found - did you specify the correct suite directory?') if premerge_result == 1 or postmerge_result == 1: logger.error('patchtest: At least one patchtest caused a failure or an error - please check') else: