tree cd1fb7e4d8b0660b40ca2fd6ffbd67966b941b11
parent 920024f31a4b706ee6333937eaf994216e2e8203
author will-v-pi <108662275+will-v-pi@users.noreply.github.com> 1784067689 +0100
committer GitHub <noreply@github.com> 1784067689 -0500
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsFcBAABCAAQBQJqVrZpCRC1aQ7uu5UhlAAAIs4QAAs/Rji1WSme8zu3ZzDA5o29
 vJjTDI8ywVnGMuQ+0SptCk5rZeBYyaqleY2b2h4bJEKUeb8tYq0EZYWC+tVrHuzL
 oJ1Cnv1Myc0pANCZGNIHj7zDoOB+PmzmK8KQVUO8p3ZOR6e8CW0J3Gtw6eWqclG5
 6Q4w01Dg7oA5bsstqh0xpMOUV+Q366Xo81379nwJSNIN5tIFmX8VWC6VKwXIoFH8
 gKMob+s+os+NE7N9Lo0U6e3G82xQoKWmf74T+dm25Pb9DREE4QGs8PYHNlHd2dg3
 ih5pTmG8SDcOTQYTZK3RIVWxw/DfVvX5D/Famb0inImJQcyzh2k3sDXKclvquP1L
 pKDGZJSzPiaJarmdLQRORpaHClTO/g0f97IlnEV1TJd1aIXWijN5vm/kuD4bK2Cj
 d954JCDRgkGgUvzgZQYqJKQ3b1jKGYPUUACLyjpTVT53p7K5gJ9EvBYi1hXez00v
 CiazaryL/dNMMES7vZ8k+1v99fW+OIF3m1g/vlzSa310KpIkLQeR33gfvYyR78+k
 mbUHg7ovl7Xoo9xYhZDpYCrXBl80JH2I9ah0Ok/Bes13sY6eokrGsbXfbJPH2XJv
 LyqO7swAkPE0u+KX2/AgMJav0g8gGexj6cqJdBTfFSb67p0osLae+CyxQKSUjfsm
 /wk6ApbcoYs432vwTqrz
 =5Rjg
 -----END PGP SIGNATURE-----
 

Pass --platform to picotool (#3071)

The --platform argument was added in 2.2.0-a4, so should be fine to pass now that 2.3.0 is required by the SDK

Fixes raspberrypi/picotool#339