aboutsummaryrefslogtreecommitdiff
path: root/contrib/cleanup-prebuilt-dir.sh
blob: 5553fb46775ac2ecc7d24200eb205ee53376c474 (plain)
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