scripts/functions: use patch -i instead of IO redirection

This makes the patch name show up on the command line
logged by CT_DoExecLog so it's easier to see
what is going on. The -i for patch is specified
by Posix and supported by GNU patch and busybox patch.

Signed-off-by: Johannes Stezenbach <js@sig21.net>
[yann.morin.1998@free.fr: remove now-useless debug message]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <20121030103620.GB8303@sig21.net>
Patchwork-Id: 195418

--- trunk/src/acos.c	2009/12/08 16:49:43	733

+++ trunk/src/acos.c	2009/12/09 20:51:38	734

@@ -188,10 +188,7 @@

   else

     rnd_im = rnd_im == GMP_RNDU ? GMP_RNDD

       : rnd_im == GMP_RNDD ? GMP_RNDU

-#if MPFR_VERSION_MAJOR >= 3

-      : rnd_im == GMP_RNDA ? GMP_RNDZ

-#endif

-      : rnd_im;

+      : rnd_im; /* both RNDZ and RNDA map to themselves for -asin(z) */

   rnd1 = RNDC(GMP_RNDN, rnd_im);

   mpfr_init2 (pi_over_2, p);

   for (;;)