• 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.