Skip to content
  • Alexandre Duret-Lutz's avatar
    bench: delete useless defs.in files. · 16c7bc19
    Alexandre Duret-Lutz authored
    * bench/wdba/defs.in, bench/ltlclasses/defs.in,
    bench/ltlcounter/defs.in: Delete.
    * bench/wdba/run, bench/ltlclasses/run, bench/ltlcounter/run: Adjust not
    to use them.
    * configure.ac: Do not output the associated defs files.
    16c7bc19