Update the platform files: the root tag is now called 'platform', not 'platform_descr...

[simgrid.git] / bootstrap

diff --git a/bootstrap b/bootstrap
index 185c9f1..faaf3c4 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -1,7 +1,13 @@
 #!/bin/sh
 # Run this to generate all the initial makefiles, etc.
 
-amversions="${amver:-1.10 1.9}"
+# Copyright (c) 2004-2007. The SimGrid team. All right reserved.
+
+# This file is part of the SimGrid project. This is free software:
+# You can redistribute and/or modify it under the terms of the
+# GNU LGPL (v2.1) licence.
+
+amversions="${amver:-1.10}"
 
 check_version()
 {
@@ -15,7 +21,7 @@ find_version()
     shift
     versions="$*"
 
-    for version in $versions; do
+    for version in $versions ; do
        if check_version $tool ${tool}${variant} $version; then
            found="${version}"
            echo ${version} >&2