model-checker : minor changes for debug information in heap comparison algorithm

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

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