make directory erased, no more -bench since it is the default,

[helm.git] / matita / rottenize_lib

#!/bin/bash
set -x
make clean-rottened
./rottener.opt -r library/