256615084c5254f4a2f8bf995b5b164a97a4877a
[pixelated-user-agent.git] / service / go
1 #!/bin/bash
2
3 type -t deactivate && deactivate
4 set -e
5 pushd ..
6 make $*
7 popd