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
|
