Use xbt_os_time() instead of gras_os_time().

[simgrid.git] / configure

#! /bin/bash

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