コマンドに問題がありtime
ます。と修飾子を使用/usr/bin/time
できるように使用します。-f
-o
私のスクリプトは次のとおりです。
make clean
repo sync -j5
. ./platform_manifest/manual_add_kernel_manifest.sh \
&& . build/envsetup.sh \
&& /usr/bin/time -o log$day$month.log -f "Buildtime: %E" brunch aokp_mako-eng
このスクリプトは、Android ROM の自動ビルド システムの一部です。
時間の部分になると、次のようになります。
/usr/bin/time: cannot run brunch: No such file or directory
Command exited with non-zero status 127
Buildtime: 0:00.00
ブランチは通常のtime
コマンドで正常に動作しますが、その出力をファイルにルーティングできないため、/usr/bin/time
そもそも使用しています。これを行う方法があれば、 でreal:
ヘッダーをトリミングできるので、それで問題ありません| awk '{ print $2 }'
。
どんな助けでも大歓迎です!
Ubuntu 12.04、すべてのアップデートがインストールされています