#!/bin/bash
set -euo pipefail
cd "$(dirname "${BASH_SOURCE[0]}")"
./make-linux distclean
./make-linux PROF=-fprofile-generate
./tests/test-all
./make-linux clean
./make-linux PROF=-fprofile-use