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