Changeset a43e1d7

Timestamp:

Jul 5, 2016, 11:10:03 AM (8 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, ctor, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, memory, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

39f04ec

Parents:

76c7f65e

Message:

test script should now support make target that do not produce executables

File:

• src/tests/test.py (modified) (3 diffs)

src/tests/test.py

@@ -9 +9 @@
 import os
 import re
+import stat
 import sys
 
@@ -60 +61 @@
                 return result;
 
+def fileIsExecutable(file) :
+        try :
+                fileinfo = os.stat(file)
+                return bool(fileinfo.st_mode & stat.S_IXUSR)
+        except Exception as inst:
+                print(type(inst))    # the exception instance
+                print(inst.args)     # arguments stored in .args
+                print(inst)
+                return False
 
 ################################################################################
@@ -78 +88 @@
                 stdinput = "< .in/%s.txt" % test if isfile(".in/%s.txt" % test) else ""
 
-                # run test
-                sh("./%s %s > %s 2>&1" % (test, stdinput, out_file), dry_run)
+                if fileIsExecutable(test) :
+                        # run test
+                        sh("./%s %s > %s 2>&1" % (test, stdinput, out_file), dry_run)
+                else :
+                        # simply cat the result into the output
+                        sh("cat %s > %s" % (test, out_file), dry_run)
 
         retcode = 0