install.py

changeset 6275
8ce9f9c467ec
parent 6216
2a0eeba143e7
child 6304
68f9aa03bf75
--- a/install.py	Mon Apr 30 14:45:03 2018 +0200
+++ b/install.py	Wed May 02 18:39:09 2018 +0200
@@ -302,7 +302,7 @@
     @param dst destination file name (string)
     @param marker marker to be used (string)
     """
-    global cfg
+    global cfg, platBinDir
     
     if sys.version_info[0] == 2:
         f = codecs.open(src, "r", "utf-8")
@@ -311,7 +311,7 @@
     text = f.read()
     f.close()
     
-    text = text.replace("@BINDIR@", cfg['bindir'])
+    text = text.replace("@BINDIR@", platBinDir)
     text = text.replace("@MARKER@", marker)
     if marker:
         t_marker = " ({0})".format(PythonTextMarkers[marker])

eric ide

mercurial