buildpyb: Fix for user supplied frozen directory.

pull/7/head
Peter Hinch 2018-05-27 06:00:11 +01:00
rodzic 6252f11fef
commit 123adeda98
1 zmienionych plików z 1 dodań i 1 usunięć

Wyświetl plik

@ -40,7 +40,7 @@ then
if make -j 8 BOARD=$BOARD FROZEN_MPY_DIR=$FROZEN_DIR && pyb_boot $MPDEVICE if make -j 8 BOARD=$BOARD FROZEN_MPY_DIR=$FROZEN_DIR && pyb_boot $MPDEVICE
then then
sleep 1 sleep 1
make BOARD=$BOARD deploy make BOARD=$BOARD FROZEN_MPY_DIR=$FROZEN_DIR deploy
cd - cd -
sleep 1 sleep 1
rshell rshell