blob: fb21002cde02ef4e85cc485d42792b4c7f159d6e (
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 directoy is clean
# before building
# this script is part of the make prebuilt
cd prebuilt
git checkout -- .
git pull
|