Project

General

Profile

1 8699 aaronmk
#!/bin/bash -e
2
# links to locally-available resources
3
. "$(dirname "${BASH_SOURCE[0]}")"/util.run
4
5
root_dir="$(dirname "${BASH_SOURCE[0]}")"/..
6
bin_dir="$root_dir"/bin