model-checker : print statistics in all cases (property satisfied or not)

[simgrid.git] / buildtools / Cmake / preinstall.sh

#! /bin/bash
echo "\n#SIMGRID ICEBERG" >> ~/.profile
return 0