Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
tesh: show the full path to tesh file
authorMartin Quinson <martin.quinson@loria.fr>
Tue, 25 Oct 2016 18:40:46 +0000 (20:40 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Tue, 25 Oct 2016 18:40:46 +0000 (20:40 +0200)
tools/tesh/tesh.py

index 3116078..028971d 100755 (executable)
@@ -128,6 +128,7 @@ class FileReader(Singleton):
         else:
             self.filename_raw = filename
             self.filename = os.path.basename(filename)
         else:
             self.filename_raw = filename
             self.filename = os.path.basename(filename)
+            self.abspath = os.path.abspath(filename)
             self.f = open(self.filename_raw)
         
         self.linenumber = 0
             self.f = open(self.filename_raw)
         
         self.linenumber = 0
@@ -407,7 +408,7 @@ if __name__ == '__main__':
         print("Test suite from stdin")
     else:
         f = FileReader(options.teshfile)
         print("Test suite from stdin")
     else:
         f = FileReader(options.teshfile)
-        print("Test suite '"+f.filename+"'")
+        print("Test suite '"+f.abspath+"'")
     
     if options.setenv is not None:
         for e in options.setenv:
     
     if options.setenv is not None:
         for e in options.setenv: