CircleCI: mitigate issue #799 (#800)

This commit is contained in:
tlaurion 2020-08-12 15:07:54 -04:00 committed by GitHub
parent 28d3b7c89c
commit c6a82a2464
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -61,8 +61,9 @@ jobs:
- run:
name: x230-flash
#We delete build/make-4.2.1/ directory until issue #799 is fixed.
command: |
rm -rf build/x230-flash/* build/log/* && make --load 2 \
rm -rf build/make-4.2.1/ build/x230-flash/* build/log/* && make --load 2 \
V=1 \
BOARD=x230-flash \
no_output_timeout: 3h
@ -152,7 +153,7 @@ jobs:
- run:
name: qemu-coreboot
command: |
rm -rf build/make-4.2.1/ build/qemu-coreboot/* build/log/* && make --load 2 \
rm -rf build/qemu-coreboot/* build/log/* && make --load 2 \
V=1 \
BOARD=qemu-coreboot \
no_output_timeout: 3h