Marco Costalba d9dd520896 Fix previous patch for OS X (#961) ...

Use posix version of sed that is available on all
platforms.

No functional change.

2017-01-09 15:37:09 +01:00

..

instrumented.sh

…

perft.sh

…

reprosearch.sh

…

signature.sh

…