Merge branch 'wip-bootstrap' of...

Merge branch 'wip-bootstrap' of git.card10.badge.events.ccc.de:card10/micropython into wip-bootstrap
1 job for wip-bootstrap in 1 minute and 50 seconds (queued for 2 seconds)
latest
Status Job ID Name Coverage
  Build
failed #584
build

00:01:50

 
Name Stage Failure
failed
build Build
$ git clone https://git.card10.badge.events.ccc.de/card10/firmware.git
Cloning into 'firmware'...
$ make -C ports/card10 SDK_LOCATION=`pwd`/firmware/sdk
make: Entering directory '/builds/annejan/micropython/ports/card10'
Use make V=1 or set BUILD_VERBOSE in your environment to increase build verbosity.
AR build/sdk/PeriphDriver.a
make: Leaving directory '/builds/annejan/micropython/ports/card10'
make: *** No rule to make target '/builds/annejan/micropython/firmware/sdk/Libraries/Boards/card10/Source/board.c', needed by 'build/sdk/board/board.o'. Stop.
ERROR: Job failed: exit code 1