aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/BuildIt.sh
blob: ea2b41827f956f0c6d6f9ba17aa9c9bd548ee8ae (plain)
1
2
3
4
5
6
#!/bin/bash

pushd src >/dev/null
time ./BuildIt.sh
popd >/dev/null
time bin/sledjchisl build -v