#!/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