contrib/cleanup-prebuilt-dir.sh


1
2
3
4
5
6
7
8
9
10
11

#!/bin/bash
set -e

[ ! -d prebuilt ] && git worktree add -f prebuilt prebuilt && exit 1

# make sure that the prebuilt directory is clean
# before building
# this script is part of the make prebuilt
cd prebuilt
git checkout -- .
git pull