summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorChristoph Blecker <admin@toph.ca>2017-07-28 12:19:30 -0700
committerChristoph Blecker <admin@toph.ca>2017-07-28 12:19:30 -0700
commitb73865f44cd3bfd1b121683d49aee89d3e661d9c (patch)
treed638a3a4e66ecad71558239e7b1e4ba5b6159d44 /scripts
parent724d653337928d9cd2bc7d616d0740ef81085ddb (diff)
Add verify make rule
Diffstat (limited to 'scripts')
-rw-r--r--scripts/verify.sh38
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