[master] 7b00d5dfc Minor polishing
Federico G. Schwindt
fgsch at lodoss.net
Wed Apr 10 21:10:09 UTC 2019
commit 7b00d5dfc31b923b4bdbdd9dbf14e975db832e9b
Author: Federico G. Schwindt <fgsch at lodoss.net>
Date: Wed Apr 10 20:02:07 2019 +0100
Minor polishing
diff --git a/tools/include_wash.py b/tools/include_wash.py
index 61a0cae91..fdf7f366d 100644
--- a/tools/include_wash.py
+++ b/tools/include_wash.py
@@ -29,11 +29,11 @@ def check(fn):
for i in ("cache/cache.h", "cache.h"):
if i in l:
- for i in ("stddef.h", "stdint.h", "vrt.h",
+ for j in ("stddef.h", "stdint.h", "vrt.h",
"math.h", "pthread.h", "stdarg.h", "sys/types.h",
"vdef.h", "miniobj.h", "vas.h", "vqueue.h", "vtree.h"):
- if i in l:
- print(fn, i + " included with cache.h")
+ if j in l:
+ print(fn, j + " included with cache.h")
for (dir, dns, fns) in os.walk("."):
for f in fns:
More information about the varnish-commit
mailing list