diff options
| author | Christoph Blecker <admin@toph.ca> | 2017-07-28 12:19:30 -0700 |
|---|---|---|
| committer | Christoph Blecker <admin@toph.ca> | 2017-07-28 12:19:30 -0700 |
| commit | b73865f44cd3bfd1b121683d49aee89d3e661d9c (patch) | |
| tree | d638a3a4e66ecad71558239e7b1e4ba5b6159d44 /scripts | |
| parent | 724d653337928d9cd2bc7d616d0740ef81085ddb (diff) | |
Add verify make rule
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/verify.sh | 38 |
1 files changed, 0 insertions, 38 deletions
diff --git a/scripts/verify.sh b/scripts/verify.sh deleted file mode 100644 index 1d979796..00000000 --- a/scripts/verify.sh +++ /dev/null @@ -1,38 +0,0 @@ -#!/bin/bash - -export CRTDIR=$(pwd) -export TMPDIR=/tmp/testgendocs -mkdir $TMPDIR - -cp -r sig* Makefile generator $TMPDIR - -cd $TMPDIR -make all - -mismatches=0 -break=$(printf "=%.0s" $(seq 1 68)) - -for file in $(ls $CRTDIR/sig-*/README.md $CRTDIR/sig-list.md); do - real=${file#$CRTDIR/} - if ! diff -q <(sed -e '/Last generated/d' $file) <(sed -e '/Last generated/d' $TMPDIR/$real) &>/dev/null; then - echo "$file does not match $TMPDIR/$real"; - mismatches=$((mismatches+1)) - fi; -done - -if [ $mismatches -gt "0" ]; then - echo "" - echo $break - noun="mismatch was" - if [ $mismatches -gt "0" ]; then - noun="mismatches were" - fi - echo "$mismatches $noun detected." - echo "Do not manually edit sig-list.md or anything inside the sig folders." - echo "Instead make your changes to sigs.yaml and run \`make all\`."; - echo $break - exit 1; -fi - -rm -rf $TMPDIR -exit 0 |
