Re: gnulib-tool: Improve handling of multiple --local-dir options

[Bruno Haible]

Hi Pavel,

> > makes the IFS handling a bit more robust.

What I meant is that

   save_IFS="$IFS"
   for fpf_dir in $fpf_dirs
   do
     IFS="$save_IFS"
     [Some more code]
   done
   IFS="$save_IFS"

is more robust than

   save_IFS="$IFS"
   for fpf_dir in $fpf_dirs
   do
     [Some more code]
   done
   IFS="$save_IFS"

because the [Some more code] may invoke word splitting, and as a programmer
I would expect this word splitting to be performed against the default IFS.

Bruno