There may be other resources than workstation. The whole resource_list should thus...

[simgrid.git] / bootstrap

diff --git a/bootstrap b/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.
 
-amversions="${amver:-1.10 1.9}"
+amversions="${amver:-1.10}"
 
 check_version()
 {
@@ -15,7 +15,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