mirror of
https://github.com/dragonpilot/dragonpilot.git
synced 2026-06-25 07:52:03 +08:00
dd778596b7
date: 2025-03-15T21:10:51 master commit: fb7b9c0f9420d228f03362970ebcfb7237095cf3
12 lines
224 B
Bash
Executable File
12 lines
224 B
Bash
Executable File
#!/usr/bin/env 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
|