summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-02-13 08:05:17 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2002-02-13 08:05:17 +0000
commit3437468a0b58715dfba2aa34d069ece082d80ba0 (patch)
treee4c6eecd5311defa0cca49e27c7cd24b23adde03
parent2353a66ea72e861e290f8926f2d5859781d93d16 (diff)
unset IFS ne marche pas sous Solaris
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4394 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rwxr-xr-xconfigure3
1 files changed, 2 insertions, 1 deletions
diff --git a/configure b/configure
index 3021afe4b..ad9ec71fa 100755
--- a/configure
+++ b/configure
@@ -567,6 +567,7 @@ binutils_objcopy=''
binutils_nm=''
if test "$arch" != "none"; then
+ old_IFS="$IFS"
IFS=':'
for d in ${binutils_dir}:${PATH}; do
if test -z "$d"; then continue; fi
@@ -585,7 +586,7 @@ if test "$arch" != "none"; then
break
fi
done
- unset IFS
+ IFS="$old_IFS"
fi
# Where is ranlib?