diff --git a/init-tools.sh b/init-tools.sh index f56ac91109f1..ccb798d56a76 100755 --- a/init-tools.sh +++ b/init-tools.sh @@ -19,6 +19,7 @@ case $OSName in Darwin) OS=OSX __DOTNET_PKG=dotnet-osx-x64 + ulimit -n 2048 ;; Linux) diff --git a/sync.sh b/sync.sh old mode 100644 new mode 100755 index 105cd74582d5..5fc84cc3c74d --- a/sync.sh +++ b/sync.sh @@ -51,7 +51,7 @@ $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 + git fetch --all -p -v >> $sync_log 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."