-
Alexandre Duret-Lutz authored
* configure.ac: Check for kill and alarm. * src/bin/ltlcheck.cc: Disable timeout code when kill or alarm are missing. Recognize the --timeout option, but display a warning.
f40925f6
* configure.ac: Check for kill and alarm. * src/bin/ltlcheck.cc: Disable timeout code when kill or alarm are missing. Recognize the --timeout option, but display a warning.