Update make_installer.py tool

cztomczak · cztomczak · commit dde0167f5418 · 2017-09-22T13:26:47.000+02:00
diff --git a/tools/make_installer.py b/tools/make_installer.py
@@ -43,6 +43,14 @@
 def main():
     command_line_args()
 
+    # Make sure pyinstaller build/dist directories do not exist,
+    # otherwise they would be packed along with examples and thus
+    # increase package size significantly.
+    assert not os.path.exists(os.path.join(EXAMPLES_DIR,
+                                           "pyinstaller", "build"))
+    assert not os.path.exists(os.path.join(EXAMPLES_DIR,
+                                           "pyinstaller", "dist"))
+
     # Setup and package directories
     global SETUP_DIR, PKG_DIR
     setup_dir_name = get_setup_installer_basename(VERSION, OS_POSTFIX2)
