--setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms
--setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/msg/${x}
--cd ${CMAKE_HOME_DIRECTORY}/teshsuite/msg/${x}
--setenv platfdir=${CMAKE_HOME_DIRECTORY}/examples/platforms
--setenv bindir=${CMAKE_BINARY_DIR}/teshsuite/msg/${x}
--cd ${CMAKE_HOME_DIRECTORY}/teshsuite/msg/${x}