diff --git a/tools/utils.py b/tools/utils.py
index 9d53bd56bd1036..d6dce5f7a52137 100644
--- a/tools/utils.py
+++ b/tools/utils.py
@@ -112,4 +112,4 @@ def SearchFiles(dir, ext):
   list = glob.glob(dir+ '/**/*.' + ext, recursive=True)
   if sys.platform == 'win32':
     list = [ x.replace('\\', '/')for x in list]
-  return list
+  return sorted(list)