Re: [PATCH, ADA] Fix current build problems under cygwin

[Pascal Obry]

Eric,

> OK if Pascal has no objections to the patch:
>   https://gcc.gnu.org/ml/gcc-patches/2014-05/msg00671.html

Looks fine to me and should have no effect for our non Cygwin builds.

-- 
  Pascal Obry
  gpg --keyserver keys.gnupg.net --recv-key F949BD3B