#! /bin/sh -e

./ci -reset "$@"
./ci -setup -release "$@"
