Files
scroll/run.sh
kunxian xia 0f915fe9de add run.sh
2023-10-14 01:12:20 +08:00

6 lines
173 B
Bash
Executable File

#!/bin/bash -e
cp ./build/bin/prover ./prover
MALLOC_CONF=prof_leak:true,lg_prof_sample:0,prof_final:true \
LD_PRELOAD=/usr/lib/x86_64-linux-gnu/libjemalloc.so.2 ./prover