hdf5-config.patch

   1 --- hdf5-1.8.5-patch1/config/gnu-flags.orig     2010-08-26 16:21:53.000000000 +0200
   2 +++ hdf5-1.8.5-patch1/config/gnu-flags  2010-10-05 22:12:48.883739367 +0200
   3 @@ -145,16 +145,12 @@
   4      # Production
   5      case "$cc_vendor-$cc_version" in
   6        gcc-2.95.[34])
   7 -        PROD_CFLAGS="-O3"
   8          ;;
   9        gcc-3.*)
  10 -        PROD_CFLAGS="-O3"
  11          ;;
  12        gcc-4.*)
  13 -        PROD_CFLAGS="-O3"
  14          ;;
  15        *)
  16 -        PROD_CFLAGS="-O"
  17          ;;
  18      esac
  19