-echo "Running init-tools.sh"
-$working_tree_root/init-tools.sh
-
-if [ "$sync_src" == true ]; then
- echo "Fetching git database from remote repos..."
- git fetch --all -p -v >> $sync_log 2>&1
- if [ $? -ne 0 ]; then
- echo -e "\ngit fetch failed. Aborting sync." >> $sync_log
- echo "ERROR: An error occurred while fetching remote source code; see $sync_log for more details."
- exit 1
- fi
-fi
-
-if [ "$sync_packages" == true ]; then
- options="$options /t:RestoreNETCorePlatforms /p:RestoreDuringBuild=true"
- echo "Restoring all packages..."
- echo -e "\n$working_tree_root/Tools/corerun $working_tree_root/Tools/MSBuild.exe $working_tree_root/build.proj $options $unprocessedBuildArgs" >> $sync_log
- $working_tree_root/Tools/corerun $working_tree_root/Tools/MSBuild.exe $working_tree_root/build.proj $options $unprocessedBuildArgs
- if [ $? -ne 0 ]
- then
- echo -e "\nPackage restored failed. Aborting sync." >> $sync_log
- echo "ERROR: An error occurred while syncing packages; see $sync_log for more details. There may have been networking problems, so please try again in a few minutes."
- exit 1
- fi
+$working_tree_root/dotnet.sh msbuild /nologo /verbosity:minimal /clp:Summary /flp:v=detailed\;LogFile=sync.log $buildArgs $unprocessedBuildArgs
+if [ $? -ne 0 ]
+then
+ echo "ERROR: An error occurred while syncing packages; See $working_tree_root/sync.log for more details. There may have been networking problems, so please try again in a few minutes."
+ exit 1