You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
17 lines
377 B
17 lines
377 B
4 years ago
|
#!/usr/bin/bash
|
||
|
|
||
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null && pwd )"
|
||
|
cd $DIR/..
|
||
|
|
||
|
git clean -xdf .
|
||
|
git rm -r --cached .
|
||
|
|
||
|
git config remote.origin.fetch "+refs/heads/*:refs/remotes/origin/*"
|
||
|
git fetch origin master
|
||
|
git checkout master
|
||
|
git reset --hard
|
||
|
git submodule update --init
|
||
|
|
||
|
printf '\n\n'
|
||
|
echo "master checked out. reboot to start building openpilot master"
|