Index: tools/config.py
===================================================================
--- tools/config.py	(revision a68ba8b4e70346f73648316241955d35c5197c35)
+++ tools/config.py	(revision 43a10c47713d79403f472595d6fc8664cbf054b4)
@@ -351,3 +351,3 @@
 
 if __name__ == '__main__':
-    exit(main())
+	sys.exit(main())