Changeset 7895d46 for src

Timestamp:

Mar 23, 2017, 11:23:43 AM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

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

Children:

27cc24e

Parents:

0583064b

Message:

Tests now start faster

Location:

src/tests

Files:

• Makefile.am (modified) (1 diff)
• Makefile.in (modified) (1 diff)
• test.py (modified) (1 diff)

src/tests/Makefile.am

@@ -51 +51 @@
         @+python test.py --list --concurrent=${concurrent}
 
+.dummy : .dummy.c
+        ${CC} ${CFLAGS} -XCFA -n ${<} -o ${@}
+
 constant0-1DP : constant0-1.c
         ${CC} ${CFLAGS} -DDUPS ${<} -o ${@}

src/tests/Makefile.in

@@ -669 +669 @@
         @+python test.py --list --concurrent=${concurrent}
 
+.dummy : .dummy.c
+        ${CC} ${CFLAGS} -XCFA -n ${<} -o ${@}
+
 constant0-1DP : constant0-1.c
         ${CC} ${CFLAGS} -DDUPS ${<} -o ${@}

src/tests/test.py

@@ -25 +25 @@
 # parses the Makefile to find the machine type (32-bit / 64-bit)
 def getMachineType():
-        sh('echo "int main() { return 0; }" > .dummy.c')
+        sh('echo "void ?{}(int*a,int b){}int main(){return 0;}" > .dummy.c')
         sh("make .dummy", print2stdout=False)
         _, out = sh("file .dummy", print2stdout=False)