diff options
| author | Christoph Blecker <admin@toph.ca> | 2017-10-25 13:52:40 -0700 |
|---|---|---|
| committer | Christoph Blecker <admin@toph.ca> | 2017-10-25 13:52:40 -0700 |
| commit | fad14ac876614244864b07dd8a87132510003198 (patch) | |
| tree | 10f465700071a3331c89c41d4fb11c09a0d3d2d5 /hack/verify.sh | |
| parent | 139c239497bcccd8b663bb2981268a740b58e8f2 (diff) | |
Track and compare working group dirs too
Diffstat (limited to 'hack/verify.sh')
| -rwxr-xr-x | hack/verify.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/hack/verify.sh b/hack/verify.sh index d2833fbe..8eb75982 100755 --- a/hack/verify.sh +++ b/hack/verify.sh @@ -11,7 +11,7 @@ function cleanup { } trap cleanup EXIT -cp -r sig* Makefile generator ${WORKING_DIR} +cp -r sigs.yaml sig-* wg-* Makefile generator ${WORKING_DIR}/ cd ${WORKING_DIR} make 1>/dev/null @@ -19,7 +19,7 @@ make 1>/dev/null mismatches=0 break=$(printf "=%.0s" $(seq 1 68)) -for file in $(ls ${CRT_DIR}/sig-*/README.md ${CRT_DIR}/sig-list.md); do +for file in $(ls ${CRT_DIR}/sig-*/README.md ${CRT_DIR}/wg-*/README.md ${CRT_DIR}/sig-list.md); do real=${file#$CRT_DIR/} if ! diff -q ${file} ${WORKING_DIR}/${real} &>/dev/null; then echo "${file} does not match ${WORKING_DIR}/${real}"; |