diff options
| author | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-07-29 15:59:08 -0700 |
|---|---|---|
| committer | Tim Chevalier <chevalier@alum.wellesley.edu> | 2012-07-29 18:39:14 -0700 |
| commit | 3cb147a71ecb4ca1600fc40db1fa367b1cb05bf2 (patch) | |
| tree | f7c76cd2c08ec31fcc123e7cb811cd1876946e14 /src/etc | |
| parent | 181f671b4d55439d74d2dc8cd43dde418396e0dd (diff) | |
| download | rust-3cb147a71ecb4ca1600fc40db1fa367b1cb05bf2.tar.gz rust-3cb147a71ecb4ca1600fc40db1fa367b1cb05bf2.zip | |
Make tidy skip emacs backup files
Diffstat (limited to 'src/etc')
| -rw-r--r-- | src/etc/tidy.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/etc/tidy.py b/src/etc/tidy.py index f042728b462..b46a6fd8391 100644 --- a/src/etc/tidy.py +++ b/src/etc/tidy.py @@ -18,7 +18,8 @@ def report_err(s): print("%s:%d: %s" % (fileinput.filename(), fileinput.filelineno(), s)) err=1 -file_names = [s for s in sys.argv[1:] if not s.endswith("_gen.rs")] +file_names = [s for s in sys.argv[1:] if (not s.endswith("_gen.rs")) + and (not s.startswith(".#"))] try: for line in fileinput.input(file_names, |