##// END OF EJS Templates
pytype: add relative timestamp to the output if `ts` is available...
marmoute -
r53095:06973506 stable
parent child Browse files
Show More
@@ -68,6 +68,13 pytype --version
68
68
69 # TODO: include hgext and hgext3rd
69 # TODO: include hgext and hgext3rd
70
70
71 # use ts to produce some timing if available
72 if ! command -v ts; then
73 ts() {
74 cat
75 }
76 fi
77
71 pytype --keep-going --jobs auto \
78 pytype --keep-going --jobs auto \
72 doc/check-seclevel.py hgdemandimport hgext mercurial \
79 doc/check-seclevel.py hgdemandimport hgext mercurial \
73 -x hgext/absorb.py \
80 -x hgext/absorb.py \
@@ -116,7 +123,8 pytype --keep-going --jobs auto \
116 -x mercurial/testing/storage.py \
123 -x mercurial/testing/storage.py \
117 -x mercurial/thirdparty \
124 -x mercurial/thirdparty \
118 -x mercurial/win32.py \
125 -x mercurial/win32.py \
119 -x mercurial/wireprotov1server.py
126 -x mercurial/wireprotov1server.py \
127 | ts -i "(%.s)" | ts -s "%.s"
120
128
121 if find .pytype/pyi -name '*.pyi' | xargs grep -ql '# Caught error'; then
129 if find .pytype/pyi -name '*.pyi' | xargs grep -ql '# Caught error'; then
122 echo 'pytype crashed while generating the following type stubs:'
130 echo 'pytype crashed while generating the following type stubs:'
General Comments 0
You need to be logged in to leave comments. Login now