Skip to content

Instantly share code, notes, and snippets.

@wgwz
Created January 7, 2018 00:19
Show Gist options
  • Save wgwz/af9ae19201031d38844cdbe65da3b159 to your computer and use it in GitHub Desktop.
Save wgwz/af9ae19201031d38844cdbe65da3b159 to your computer and use it in GitHub Desktop.
diff --git a/platter.py b/platter.py
index 2891b6d..8824e38 100644
--- a/platter.py
+++ b/platter.py
@@ -356,7 +356,7 @@ class Builder(object):
python=os.path.basename(self.python),
postinstall=postinstall,
)).encode('utf-8'))
- os.chmod(fn, 0100755)
+ os.chmod(fn, 0o100755)
def put_meta_info(self, scratchpad, pkginfo):
self.log.info('Placing meta information')
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment