SD_init(&argc, argv);
/* creation of the environment */
- SD_create_environment(argv[1]);
+ if (strstr(argv[1],".xml"))
+ SD_create_environment(argv[1]);
+ else
+ xbt_die("Unsupported platform description style (not XML): %s",
+ argv[1]);
/* getting platform infos */
n_hosts = SD_workstation_get_number();