-
Erwan Jahier authored
remove useless options: -boot, -oracle, -cov* Also, split LustreRun in 2: LutinRun and LustreRun, so that check-rif compiles.
a6fa295e
remove useless options: -boot, -oracle, -cov* Also, split LustreRun in 2: LutinRun and LustreRun, so that check-rif compiles.