fix osx and leaving dangerous verify.rs around

admin/covbin/wrapper

@@ -1,6 +1,6 @@
-#!/bin/sh
+#!/bin/bash
 
-ME=$(readlink -f "$0")
+ME=$([[ $0 = /* ]] && echo "$0" || echo "$PWD/${0#./}")
 WHICH=$(basename "$0")
 HERE=$(dirname "$ME")
 exec $COVERAGE $HERE/../../target/${RELEASE:-debug}/examples/$WHICH "$@"

admin/coverage

@@ -1,6 +1,6 @@
 #!/bin/sh
 
-export COVERAGE_OUT=$(readlink -f target)/coverage
+export COVERAGE_OUT=$PWD/target/coverage
 export KCOV_OPTIONS="kcov --exclude-pattern=/.cargo/,intrin.h --verify"
 export COVERAGE="$KCOV_OPTIONS $COVERAGE_OUT"
 export RUST_TEST_THREADS=1

bogo/runme

@@ -5,6 +5,7 @@
 
 set -xe
 
+cp ../src/verify.rs ../src/verify-secure.rs
 sed -i -e 's/\(DANGEROUS_DISABLE_VERIFY: bool = \)false/\1true/g' ../src/verify.rs
 cargo test --no-run
 
@@ -12,7 +13,8 @@ if [ ! -e bogo/ ] ; then
   ./fetch-and-build
 fi
 
-cd bogo && ./bogo.test -shim-path ../../admin/covbin/bogo_shim \
+( cd bogo && ./bogo.test -shim-path ../../admin/covbin/bogo_shim \
      -shim-config ../config.json \
      -test.parallel 1 -num-workers 1 \
-     -pipe -allow-unimplemented
+     -pipe -allow-unimplemented )
+mv ../src/verify-secure.rs ../src/verify.rs