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

New shell scripts for testing, used for travis CI (#957)

2017-01-09 10:30:57 +01:00

perft.sh

New shell scripts for testing, used for travis CI (#957)

2017-01-09 10:30:57 +01:00

reprosearch.sh

New shell scripts for testing, used for travis CI (#957)

2017-01-09 10:30:57 +01:00

signature.sh

Fix previous patch for OS X (#961)

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