Use full path for grep.

diff --git a/tests/run_tests.py b/tests/run_tests.py
index 464358401ff4966be1071f68bbd25aedf72fd23e..2b898f3751f7366a32bdfef74151b9242ba83051 100755 (executable)
--- a/tests/run_tests.py
+++ b/tests/run_tests.py
@@ -405,7 +405,7 @@ class DoctestTestRunner(TemplatedTestRunner):
     @overrides
     def identify_tests(self) -> List[TestToRun]:
         ret = []
-        out = exec_utils.cmd(f'grep -lR "^ *import doctest" {ROOT}/*')
+        out = exec_utils.cmd(f'/usr/bin/grep -lR "^ *import doctest" {ROOT}/*')
         for test in out.split("\n"):
             if re.match(r".*\.py$", test):
                 basename = file_utils.without_path(test)