Skip to content
Find file Blame History Permalink
  • Alexandre Duret-Lutz's avatar
    Fix ltlcounter.test for VPATH builds and n > 2. · eab12614
    Alexandre Duret-Lutz authored 
    * src/tgbatest/defs.in (srcdir): Adjust from VPATH builds.
* src/tgbatest/ltlcounter.test (lcdir): Adjust definition to
new value of $srcdir.
(run): Fix setting of $run after $n = 2.  Using run=: would in
fact disable all the big tests...
    eab12614
To find the state of this project's repository at the time of any of these versions, check out the tags.