diff options
| author | Graydon Hoare <[email protected]> | 2010-06-23 21:03:09 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-06-23 21:03:09 -0700 |
| commit | d6b7c96c3eb29b9244ece0c046d3f372ff432d04 (patch) | |
| tree | b425187e232966063ffc2f0d14c04a55d8f004ef /src/etc | |
| parent | Initial git commit. (diff) | |
| download | rust-d6b7c96c3eb29b9244ece0c046d3f372ff432d04.tar.xz rust-d6b7c96c3eb29b9244ece0c046d3f372ff432d04.zip | |
Populate tree.
Diffstat (limited to 'src/etc')
| -rw-r--r-- | src/etc/tidy.py | 25 | ||||
| -rw-r--r-- | src/etc/x86.supp | 14 |
2 files changed, 39 insertions, 0 deletions
diff --git a/src/etc/tidy.py b/src/etc/tidy.py new file mode 100644 index 00000000..eff967bf --- /dev/null +++ b/src/etc/tidy.py @@ -0,0 +1,25 @@ +#!/usr/bin/python + +import sys, fileinput + +err=0 +cols=78 + +def report_err(s): + global err + print("%s:%d: %s" % (fileinput.filename(), fileinput.filelineno(), s)) + err=1 + +for line in fileinput.input(openhook=fileinput.hook_encoded("utf-8")): + if line.find('\t') != -1 and fileinput.filename().find("Makefile") == -1: + report_err("tab character") + + if line.find('\r') != -1: + report_err("CR character") + + if len(line)-1 > cols: + report_err("line longer than %d chars" % cols) + + +sys.exit(err) + diff --git a/src/etc/x86.supp b/src/etc/x86.supp new file mode 100644 index 00000000..f829f2ad --- /dev/null +++ b/src/etc/x86.supp @@ -0,0 +1,14 @@ +{ + our-failure-to-setup-freeres-structure + Memcheck:Free + fun:free + ... + fun:_vgnU_freeres +} + +{ + leaked-TLS-chunk-x86-exit-path-fails-to-clean-up + Memcheck:Leak + fun:calloc + fun:_dl_allocate_tls +}
\ No newline at end of file |