path: root/BuildIt.sh

#!/bin/bash

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