1
0
Fork 0

Merge branch 'jebbatime' of spacecruft.org:jebbatime/jebbatime into jebbatime

jebbatime
jebba 2021-06-12 14:51:31 -06:00
commit e5ae058bca
1 changed files with 12 additions and 0 deletions

View File

@ -0,0 +1,12 @@
#!/bin/bash
set -x
cd $JEBBATIMEGITROOT
make mrproper
make clean BOARD=pinetime
make submodules
make all BOARD=pinetime