Skip to main content

Browse the archive

Revision c4d45253eb2f865732196f006b06f1420d1d32ae authored by Marge Bot on 08 January 2024, 11:50:51 UTC, committed by Marge Bot on 08 January 2024, 11:50:51 UTC 
Merge tezos/tezos!11418: docs: add pre-commit git hook section
 
Co-authored-by: Pietro Abate <pietro.abate@nomadic-labs.com>

Approved-by: Arvid Jakobsson <arvid.jakobsson@nomadic-labs.com>
Approved-by: Nic Volanschi <nic.volanschi@nomadic-labs.com>
Approved-by: Emma Turner <1623821-emturner@users.noreply.gitlab.com>

See merge request https://gitlab.com/tezos/tezos/-/merge_requests/11418
2 parent s ba4cb99 + c90df00
Raw File
with_coverage.sh 
#!/bin/sh

set -e

BISECT_FILE=$(pwd)/_coverage_output/

export BISECT_FILE

export DUNE_INSTRUMENT_WITH=bisect_ppx

if [ -z "$1" ]; then
  echo "Missing command to run, example:"
  echo "${0} dune runtest src/lib_shell"
  exit 1
fi

echo "Running $* with:"
echo "BISECT_FILE=${BISECT_FILE}"
echo "DUNE_INSTRUMENT_WITH=bisect_ppx"
echo "-------------------------------"

"$@"
back to top