2023-08-21 05:26:52 +00:00
|
|
|
#!/usr/bin/env bash
|
|
|
|
|
#
|
|
|
|
|
set -euo pipefail
|
|
|
|
|
IFS=$'\n\t'
|
|
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
|
|
|
|
|
cd "$DIR/../"
|
|
|
|
|
|
|
|
|
|
RUSTFLAGS="-C opt-level=0" cargo build --no-default-features
|
2023-09-06 23:31:09 +00:00
|
|
|
valgrind --tool=callgrind --callgrind-out-file=callgrind.out target/debug/parse "${@}"
|
2023-08-21 05:26:52 +00:00
|
|
|
|
|
|
|
|
echo "You probably want to run:"
|
|
|
|
|
echo "callgrind_annotate --auto=yes callgrind.out"
|
