diff --git a/tools/get_config.py b/tools/get_config.py index 15c7866eca..609b70248e 100644 --- a/tools/get_config.py +++ b/tools/get_config.py @@ -59,7 +59,7 @@ if __name__ == '__main__': params, macros, features = get_config(options.source_dir, target, toolchain) if not params and not macros: print("No configuration data available.") - _exit(0) + sys.exit(0) if params: print("Configuration parameters") print("------------------------")