-/* Copyright (c) 2007, 2008, 2009, 2010. The SimGrid Team.
+/* Copyright (c) 2007-2013. The SimGrid Team.
* All rights reserved. */
/* This program is free software; you can redistribute it and/or modify it
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();