src/build/tools/build


1
2
3
4
5
6
7
8
9
10

#!/bin/sh

if [ -f 'env.bash' ]; then
    . env.bash
else
    echo "env.bash does not exist, are you running from your repository home?"
    exit 1;
fi

make && make docs