# The workbench package has a build-time dependency on the arvados-server
# package for config manipulation, so install it first.
cd $WORKSPACE/cmd/arvados-server
# The workbench package has a build-time dependency on the arvados-server
# package for config manipulation, so install it first.
cd $WORKSPACE/cmd/arvados-server