summaryrefslogtreecommitdiff
path: root/build.sh
blob: ce218270306af95bc2103c431f31e88a8b5091ac (plain)
1
2
3
4
5
6
7
#!/bin/sh

DIR=$1

eval `opam config env`
make clean
make