diff options
author | Christian Tismer <ctismer@gmail.com> | 2015-06-09 20:19:59 +0200 |
---|---|---|
committer | Christian Tismer <ctismer@gmail.com> | 2015-06-09 20:19:59 +0200 |
commit | b010e68e680438c736ec9b2cee673cda8381b1d5 (patch) | |
tree | 589166f8953893d96fe62f870597dbecf9d8fb21 | |
parent | 1b91c24e0574ddedbea4c2b85c00bb54b61f28d8 (diff) |
allow to ignore a module during build
-rw-r--r-- | setup.py | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -565,6 +565,10 @@ class pyside_build(_build): # Prepare folders os.chdir(self.build_dir) module_build_dir = os.path.join(self.build_dir, extension) + skipflag_file = module_build_dir + '-skip' + if os.path.exists(skipflag_file): + log.info("Skipping %s because %s exists" % (extension, skipflag_file)) + return if os.path.exists(module_build_dir): log.info("Deleting module build folder %s..." % module_build_dir) rmtree(module_build_dir) |