mirror of
https://github.com/wpilibsuite/allwpilib
synced 2026-06-19 00:41:43 +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