path: root/src/granger/misc/docker-build.sh

#!/bin/bash
[[ -d build ]] \
  || mkdir build

cd build
cmake ..
make