diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2014-09-22 12:33:15 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2014-09-22 12:33:15 +0200 |
| commit | a4eb9952a31c503cb27d6d9c37a57b5b8ec5fc62 (patch) | |
| tree | 4bc9df60398627f16679c14563f0ddcedb831948 /boehm-gc/laplace.SCHWINGE/log_build.diff.sed | |
| parent | e19bcbd6f879d048e2754117f7fbbe5e7f1162a5 (diff) | |
boehm-gc: Re-run on the new laplace.SCHWINGE, and lots of system updates.
Diffstat (limited to 'boehm-gc/laplace.SCHWINGE/log_build.diff.sed')
| -rw-r--r-- | boehm-gc/laplace.SCHWINGE/log_build.diff.sed | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/boehm-gc/laplace.SCHWINGE/log_build.diff.sed b/boehm-gc/laplace.SCHWINGE/log_build.diff.sed new file mode 100644 index 00000000..42b0f777 --- /dev/null +++ b/boehm-gc/laplace.SCHWINGE/log_build.diff.sed @@ -0,0 +1 @@ +s%i686-unknown-gnu0\.5%[ARCH]%g |