Changeset 12789

Show
Ignore:
Timestamp:
05.11.2009 20:33:42 (2 weeks ago)
Author:
maeder
Message:

added TESTTARGETFILES for binaries

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/Makefile

    r12760 r12789  
    7070    Common/ATerm/ATermDiffMain.hs Common/annos.hs Common/test_parser.hs \ 
    7171    SoftFOL/tests/PrintTPTPTests.hs Comorphisms/test/showKP.hs \ 
    72     Comorphisms/test/sublogicGraph.hs \ 
    73     SoftFOL/dfg.hs 
     72    Comorphisms/test/sublogicGraph.hs PGIP/ParseProofScript.hs \ 
     73    SoftFOL/dfg.hs GUI/displayDependencyGraph.hs 
    7474 
    7575### list of directories to run checks in