mirror of
https://github.com/c-cube/moonpool.git
synced 2025-12-06 03:05:30 -05:00
3 lines
96 B
Bash
3 lines
96 B
Bash
#!/bin/sh
|
|
OPTS="--profile=release --display=quiet"
|
|
exec dune exec $OPTS -- benchs/primes.exe $@
|