diff options
| author | Kirill Osenkov <KirillOsenkov@users.noreply.github.com> | 2017-10-06 16:39:56 +0300 |
|---|---|---|
| committer | Marius Ungureanu <teromario@yahoo.com> | 2017-10-06 16:39:56 +0300 |
| commit | 8e3ace58d5778c6b78c80f403e456189e7778385 (patch) | |
| tree | 10cd8109367cd4346fd3a6a31a30cdc6f35a7589 /main/xbuild.include | |
| parent | 0da62a93527628a6ba12a29dabb4bab820029bea (diff) | |
Publish a .binlog file from the main MonoDevelop build. (#3155)
Diffstat (limited to 'main/xbuild.include')
| -rw-r--r-- | main/xbuild.include | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/main/xbuild.include b/main/xbuild.include index dc40c7a7b8..5f98a55672 100644 --- a/main/xbuild.include +++ b/main/xbuild.include @@ -51,7 +51,7 @@ csproj_clean: sln_build: @echo Building $(MAIN_SLN) - $(XBUILD) $(XBUILD_ARGS) $(MAIN_SLN) $(XBUILD_PROFILE) + ok=:; $(XBUILD) $(XBUILD_ARGS) /bl:MonoDevelop.binlog $(MAIN_SLN) $(XBUILD_PROFILE) || ok=false; echo @MonkeyWrench: AddFile: $$(pwd)/MonoDevelop.binlog; $$ok sln_clean: @echo Cleaning $(MAIN_SLN) |