blob: 540cea64628f720be5d710e4d2ffc2a498d26adc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
#!/bin/sh
set -eu
if [ ! -e .git ]; then
echo "Not in a Git repository, skipping \"$0\"" >&2
exit
fi
. tools/lib.sh
R="$(mkdtemp)"
trap 'rm -rf "$R"' EXIT
cp -pR ./ "$R"
cd "$R"
{
make -s clean
printf '%s: "clean" target deletes all derived assets...' \
"$(yellow "$0")"
if [ -n "$(git status -s)" ]; then
printf ' ERR.\n'
echo 'Repository left dirty:'
git status
exit 1
fi
if [ -n "$(git clean -nffdx)" ]; then
printf ' ERR.\n'
echo 'Untracked files left:'
git clean -ffdx --dry-run
exit 1
fi
printf ' %s\n' "$(green 'OK')"
} >&2
|
