From 63d080a909063a4501d17b7dbc052d524f742ceb Mon Sep 17 00:00:00 2001
From: Daniel Brown <ddb@star.sr.bham.ac.uk>
Date: Thu, 8 Aug 2013 10:46:12 +0100
Subject: [PATCH] kat exec chmod added

---
 pykat/testing/test.py | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/pykat/testing/test.py b/pykat/testing/test.py
index 4220db2..4591ca0 100644
--- a/pykat/testing/test.py
+++ b/pykat/testing/test.py
@@ -174,8 +174,11 @@ class FinesseTestProcess(Thread):
         if not os.path.exists(FINESSE_EXE):
             raise Exception("Kat file was not found in " + FINESSE_EXE)
         
+        
         if not os.access(FINESSE_EXE, os.X_OK):
-            raise Exception("Kat file was not executable, could need higher privileges")
+            if sys.platform != "win32":
+                print "Trying to chmod " + FINESSE_EXE
+                os.chmod(FINESSE_EXE, stat.S_IXUSR)
         
         out = None
         
-- 
GitLab