#!/usr/bin/env bash

# This script must be run from $SAGE_ROOT and without having sourced
# sage-env.

set -e

# Update sources
local/bin/sage-update-src "$@"

# Run top-level make
exec make
