mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-20 00:51:42 +00:00
rm no longer throws a file not found error on deploy. Also, throw in a sync command at the end of the deploy so that we don't get corrupted files. Change-Id: I561916e4fec1b8449f9a70b7ee2155b0b62abc80