tree f146439ed628214550178f19cb7a7c618a26725b
parent 959cdc4c4bfef081831fc3ec9248dfc5b0674005
author Joe Gregorio <jcgregorio@google.com> 1627327658 -0400
committer Joe Gregorio <jcgregorio@google.com> 1627330070 +0000

Add sync to script that writes the RPi SD card.

Change-Id: Ia7b3709ed6a70b4e7cca521818cb59d4851f5370
Reviewed-on: https://skia-review.googlesource.com/c/buildbot/+/433003
Reviewed-by: Kevin Lubick <kjlubick@google.com>