diff options
Diffstat (limited to 'build_files/utils/make_utils.py')
-rwxr-xr-x | build_files/utils/make_utils.py | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/build_files/utils/make_utils.py b/build_files/utils/make_utils.py new file mode 100755 index 00000000000..98536879b91 --- /dev/null +++ b/build_files/utils/make_utils.py @@ -0,0 +1,17 @@ +#!/usr/bin/env python3 +# +# Utility functions for make update and make tests. + +import subprocess +import sys + +def call(cmd): + print(" ".join(cmd)) + + # Flush to ensure correct order output on Windows. + sys.stdout.flush() + sys.stderr.flush() + + retcode = subprocess.call(cmd) + if retcode != 0: + sys.exit(retcode) |