Let the model-checker decide if the wait transitions should timeout or not.

[simgrid.git] / configure

#! /bin/sh

echo "THIS COMMAND IS NOT AVAILABLE!"
echo "Since v3.4 we use cmake. Now use:"
echo "\tcmake -DCMAKE_INSTALL_PREFIX=<where_you_want> .\n\tmake\n\tmake install."