Reformatted build.rs manually with rustfmt, since it was not picked up by cargo fmt
Reformatted build.rs manually with rustfmt, since it was not picked up by cargo fmt

google/tock-on-titan,google/tock-on-titan,google/tock-on-titan