Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
fix broken file name.
[simgrid.git] / bootstrap
index 185c9f1..69b16cc 100755 (executable)
--- a/bootstrap
+++ b/bootstrap
@@ -1,7 +1,7 @@
 #!/bin/sh
 # Run this to generate all the initial makefiles, etc.
 
 #!/bin/sh
 # Run this to generate all the initial makefiles, etc.
 
-amversions="${amver:-1.10 1.9}"
+amversions="${amver:-1.10}"
 
 check_version()
 {
 
 check_version()
 {
@@ -15,7 +15,7 @@ find_version()
     shift
     versions="$*"
 
     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
        if check_version $tool ${tool}${variant} $version; then
            found="${version}"
            echo ${version} >&2