mirror of https://github.com/commaai/openpilot.git
12 lines
220 B
Bash
12 lines
220 B
Bash
|
#!/usr/bin/bash
|
||
|
|
set -e
|
||
|
|
|
||
|
|
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" >/dev/null && pwd)"
|
||
|
|
cd $DIR
|
||
|
|
|
||
|
|
if [ ! -z "$(git status --porcelain)" ]; then
|
||
|
|
echo "Dirty working tree after build:"
|
||
|
|
git status --porcelain
|
||
|
|
exit 1
|
||
|
|
fi
|