[bcl] Add API diff for monotouch/monodroid profiles (#4805)
authorAlexander Köplinger <alex.koeplinger@outlook.com>
Mon, 8 May 2017 22:08:05 +0000 (00:08 +0200)
committerGitHub <noreply@github.com>
Mon, 8 May 2017 22:08:05 +0000 (00:08 +0200)
commit6587eb73ae85b01713166fd1b3718a92e98e81a5
tree44c8af581fd2c0477dbb3495c09e8eaaf93e9dd9
parentf95b3f433c4f154475734ea9d384f62db10696e8
[bcl] Add API diff for monotouch/monodroid profiles (#4805)

This runs the API diff against the monotouch and monodroid
profiles in addition to net_4_x to help us catch mistakes that
only affect the mobile profiles.

To make updating the API snapshot in case of an intentional change
easier without needing to build those profiles locally I added
a way to download the diff as a .patch file. You can just download
the file from the API diff Jenkins generates and apply it locally.
external/api-snapshot
mcs/Makefile
mcs/diff.html.in