diff options
author | Thomas Schwinge <thomas@codesourcery.com> | 2012-06-08 16:02:43 +0200 |
---|---|---|
committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-06-08 16:02:43 +0200 |
commit | 3ff5317fab7254cf034a9ac09f2b2ed6df8db36e (patch) | |
tree | b35702d5b89da939f53dc09894ce984d9e688344 /boehm-gc/hurd/log_check.sed | |
parent | 7dafd2460c6dcbea3381b5395da2563fa1c0e877 (diff) |
boehm-gc: 2f68acaa38da8de98f66e677306b7645e83159ef (2010-11-04), cc193eeac91851d94bcd01cf3058d947c80b28b2 (2010-09-15)
Diffstat (limited to 'boehm-gc/hurd/log_check.sed')
-rw-r--r-- | boehm-gc/hurd/log_check.sed | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/boehm-gc/hurd/log_check.sed b/boehm-gc/hurd/log_check.sed new file mode 100644 index 00000000..58dd992b --- /dev/null +++ b/boehm-gc/hurd/log_check.sed @@ -0,0 +1 @@ +s%0x[0-9a-f]\+%[ADDR]%g |