commit 781737f84c5f6e067e8e02648c8bfc3a2df2dbaa
author Adam Paszke <adam.paszke@gmail.com> Tue Sep 11 12:07:01 2018 -0700
committer Facebook Github Bot <facebook-github-bot@users.noreply.github.com> Tue Sep 11 12:10:24 2018 -0700
tree 5fe4023dcabc9a8095dd4678b33b8fa0bb27e8da
parent a566bc2f1140f9a51343656f8b1b47a6b72a5fc9

Remove time prefix from rsync (#11525)

Summary:
This fails with zsh saying "time: command not found".

cc soumith
Pull Request resolved: https://github.com/pytorch/pytorch/pull/11525

Differential Revision: D9772522

Pulled By: apaszke

fbshipit-source-id: b80d108fa6b174d68ada08a9fdbf7260ee37e08f

tools/build_pytorch_libs.sh

diff --git a/tools/build_pytorch_libs.sh b/tools/build_pytorch_libs.sh
index 3134bca..579cde7 100755
--- a/tools/build_pytorch_libs.sh
+++ b/tools/build_pytorch_libs.sh
@@ -12,7 +12,7 @@
 
 SYNC_COMMAND="cp"
 if [ -x "$(command -v rsync)" ]; then
-    SYNC_COMMAND="time rsync -lptgoD"
+    SYNC_COMMAND="rsync -lptgoD"
 fi
 
 # Options for building only a subset of the libraries