#! /bin/sh

"$HOME"/admin/prog/git-scripts/update || exit 1

current="`git config --get --path remote.current.url`"
cd "$current" && exec compyleall