jbohren

#!/usr/bin/env bash

# Use catkin_make from anywhere in a workspace.
# Ascends from current directory until a catkin workspace root is reached,
# and invokes catkin_make.
# [email protected]

set -e
set -u