diff options
author | Alexander Köplinger <alex.koeplinger@outlook.com> | 2017-05-09 01:08:05 +0300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-09 01:08:05 +0300 |
commit | 6587eb73ae85b01713166fd1b3718a92e98e81a5 (patch) | |
tree | 44c8af581fd2c0477dbb3495c09e8eaaf93e9dd9 /mcs/Makefile | |
parent | f95b3f433c4f154475734ea9d384f62db10696e8 (diff) |
[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.
Diffstat (limited to 'mcs/Makefile')
-rw-r--r-- | mcs/Makefile | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/mcs/Makefile b/mcs/Makefile index eeda3d38bbe..72382ce0d0b 100644 --- a/mcs/Makefile +++ b/mcs/Makefile @@ -175,10 +175,17 @@ $(MONO_API_SNAPSHOT_PROFILE_PATH)%.cs: $(topdir)class/lib/$(PROFILE)/%.dll $(GEN mono-api-current: $(MONO_API_ASSEMBLIES_CS) +mono-api-current-clean: + $(Q) rm -rf "$(MONO_API_SNAPSHOT_PROFILE_PATH)" + mono-api-diff: @echo "Regenerating API snapshot..." - $(Q) rm -rf "$(MONO_API_SNAPSHOT_PROFILE_PATH)" - $(Q) $(MAKE) mono-api-current + $(Q) $(MAKE) mono-api-current-clean PROFILE=net_4_x + $(Q) $(MAKE) mono-api-current-clean PROFILE=monotouch + $(Q) $(MAKE) mono-api-current-clean PROFILE=monodroid + $(Q) $(MAKE) mono-api-current PROFILE=net_4_x + $(Q) $(MAKE) mono-api-current PROFILE=monotouch + $(Q) $(MAKE) mono-api-current PROFILE=monodroid @echo "Checking public API differences..." $(Q) cd $(MONO_API_SNAPSHOT_PATH); git add -A . $(Q) cd $(MONO_API_SNAPSHOT_PATH); git diff --no-renames HEAD > $(abspath $(topdir))/temp.patch |