#!/bin/bash

type -t deactivate && deactivate
set -e
pushd ..
make $*
popd