From 7f3775a061b237897a5f2c00b92d2714e2a7fab4 Mon Sep 17 00:00:00 2001 From: jxdv Date: Sun, 14 Apr 2024 16:52:27 +0000 Subject: [PATCH] update system2 (#7722) --- build.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/build.py b/build.py index cbf9d00a2..ebea1f34d 100755 --- a/build.py +++ b/build.py @@ -33,9 +33,9 @@ def get_arch() -> str: def system2(cmd): - err = os.system(cmd) - if err != 0: - print(f"Error occurred when executing: {cmd}. Exiting.") + exit_code = os.system(cmd) + if exit_code != 0: + sys.stderr.write(f"Error occurred when executing: `{cmd}`. Exiting.\n") sys.exit(-1)