#!/bin/sh

set -e

# Both download.sh and compile.sh must be able to accept the same
# parameters. They should ignore each other's useful parameters.

./download.sh "$@"
./compile.sh "$@"