[PATCH] bootstrap: use $PATH_SEPARATOR instead of :

On OS/2, a path separator is ';' not ':'.

* bootstrap (func_find_tool, func_check_tool): Use PATH_SEPARATOR.
* gl/build-aux/bootstrap.in (func_check_tool): Likewise.
* gl/build-aux/extract-trace (fund_find_tool): Likewise.
---
 bootstrap                  | 4 ++--
 gl/build-aux/bootstrap.in  | 2 +-
 gl/build-aux/extract-trace | 2 +-
 3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/bootstrap b/bootstrap
index f55bedc..83f55cf 100755
--- a/bootstrap
+++ b/bootstrap
@@ -2308,7 +2308,7 @@ func_find_tool ()
       for _G_prog
       do
         _G_find_tool_save_IFS=$IFS
-	IFS=:
+	IFS=$PATH_SEPARATOR
 	for _G_dir in $PATH; do
 	  IFS=$_G_find_tool_save_IFS
 	  _G_progpath=$_G_dir/$_G_prog
@@ -4812,7 +4812,7 @@ func_check_tool ()
       ;;
     *)
       save_IFS=$IFS
-      IFS=:
+      IFS=$PATH_SEPARATOR
       for _G_check_tool_path in $PATH; do
         IFS=$save_IFS
 	if test -x "$_G_check_tool_path/$1"; then
diff --git a/gl/build-aux/bootstrap.in b/gl/build-aux/bootstrap.in
index c6e6dfb..00568a6 100755
--- a/gl/build-aux/bootstrap.in
+++ b/gl/build-aux/bootstrap.in
@@ -2424,7 +2424,7 @@ func_check_tool ()
       ;;
     *)
       save_IFS=$IFS
-      IFS=:
+      IFS=$PATH_SEPARATOR
       for _G_check_tool_path in $PATH; do
         IFS=$save_IFS
 	if test -x "$_G_check_tool_path/$1"; then
diff --git a/gl/build-aux/extract-trace b/gl/build-aux/extract-trace
index 2371824..440148b 100755
--- a/gl/build-aux/extract-trace
+++ b/gl/build-aux/extract-trace
@@ -165,7 +165,7 @@ func_find_tool ()
       for _G_prog
       do
         _G_find_tool_save_IFS=$IFS
-	IFS=:
+	IFS=$PATH_SEPARATOR
 	for _G_dir in $PATH; do
 	  IFS=$_G_find_tool_save_IFS
 	  _G_progpath=$_G_dir/$_G_prog
-- 
1.8.5.2