From 04563ee82feaec7fc20e03996346c4f975d98ea4 Mon Sep 17 00:00:00 2001
From: "Silas S. Brown" <ssb22@cam.ac.uk>
Date: Wed, 30 Jan 2013 22:09:16 +0000
Subject: [PATCH] Gradint update
git-svn-id: http://svn.code.sf.net/p/e-guidedog/code/ssb22/gradint@1577 29193198-4895-4776-b068-10539e920549
---
gradint-build/src/system.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/gradint-build/src/system.py b/gradint-build/src/system.py
index e24331a..fe24dcc 100644
--- a/gradint-build/src/system.py
+++ b/gradint-build/src/system.py
@@ -188,7 +188,7 @@ if not fileExists(configFiles[0]):
os.chdir(s)
if not fileExists(configFiles[0]) and sys.argv and (os.sep in sys.argv[0] or (os.sep=='\\' and '/' in sys.argv[0])):
# try the sys.argv[0] directory, in case THAT works
- if os.sep=="\\" and '/' in sys.argv[0] and fileExists(sys.argv[0].replace('/','\\')): sys.argv[0]=sys.argv[0].replace('/','\\') # hack for some Windows Python builds accepting / in command line but reporting os.sep as \
+ if os.sep=="\\" and '/' in sys.argv[0] and fileExists(sys.argv[0].replace('/','\\')): sys.argv[0]=sys.argv[0].replace('/','\\') # hack for some Windows Python builds accepting slash in command line but reporting os.sep as backslash
os.chdir(starting_directory)
os.chdir(sys.argv[0][:sys.argv[0].rfind(os.sep)])
if not fileExists(configFiles[0]):
--
GitLab