Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
In the end use a temporary file (for those systems where patch cannot output to stdou...
authorpini <pini@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 18 Jan 2011 14:52:51 +0000 (14:52 +0000)
committerpini <pini@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Tue, 18 Jan 2011 14:52:51 +0000 (14:52 +0000)
commitf82b0adea2eacaca7f393e2d072af3e622c1604a
tree1ba6579e47e2aca118a7e9d72b744b3fbc32139f
parent8767eb6a0cf984a20b3725041efb64443af12979
In the end use a temporary file (for those systems where patch cannot output to stdout), but trap its removal upon exit.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@9438 48e7efb5-ca39-0410-a469-dd3cf9ba447f
src/smpi/patch_source.sh