echo "Warning: smpicc pretends to be a regular compiler (SMPI_PRETEND_CC is set). Produced binaries will not be usable in SimGrid."
fi
if [ "x${SMPI_NO_UNDEFINED_CHECK}" = "x" ]; then
echo "Warning: smpicc pretends to be a regular compiler (SMPI_PRETEND_CC is set). Produced binaries will not be usable in SimGrid."
fi
if [ "x${SMPI_NO_UNDEFINED_CHECK}" = "x" ]; then