[Build] Write logfile when ./build.sh full

diff --git a/build.sh b/build.sh
index 609f150c16e73fd1cd348409c329083844279286..ff034ac644b6bd759c368546ba496076c2cd001a 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -39,7 +39,7 @@ cmd_full_build() {
   fi
   $RUN_BUILD /t:clean
   $RUN_BUILD /t:restore $NUGET_SOURCE_OPT $@
-  $RUN_BUILD /t:build $@
+  $RUN_BUILD /t:build /fl $@
 }
 
 cmd_dummy_build() {

diff --git a/tools/scripts/CodeChecker/main.py b/tools/scripts/CodeChecker/main.py
index 989b4d9c3c879d4cd7e4839c621062381408d5cb..c52bca44a623894e38b1818573f0748d0603b92b 100644 (file)
--- a/tools/scripts/CodeChecker/main.py
+++ b/tools/scripts/CodeChecker/main.py
@@ -2,7 +2,7 @@ import sys
 from BuildLog import BuildLog
 from PRManager import PRManager
 
-logPath = "./build.log"
+logPath = "./msbuild.log"
 
 if __name__ == "__main__":