A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
kill some misplaced portability bits, leftover from the conversion from OS synchroniz...
[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.
#!/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