diff options
| author | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2012-10-01 11:24:53 +0300 |
|---|---|---|
| committer | Paul Sokolovsky <paul.sokolovsky@linaro.org> | 2012-10-01 11:24:53 +0300 |
| commit | 7882a5ab27434e5c86fd115d889cec11a8a4df81 (patch) | |
| tree | 0a5830b163ec55710149f47ecf771d63cdafe2a2 /build-scripts/build-android | |
| parent | db528470b33d418931fd76686bed1301e6f0b6f2 (diff) | |
Use consistent "time" options (none).
Diffstat (limited to 'build-scripts/build-android')
| -rw-r--r-- | build-scripts/build-android | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/build-scripts/build-android b/build-scripts/build-android index 34ba592..5c5cf6a 100644 --- a/build-scripts/build-android +++ b/build-scripts/build-android @@ -103,7 +103,7 @@ else fi trap - ERR - time -p $MAKE $MAKE_OPTS -j$MAKE_JOBS $MAKE_TARGETS $SHOWCOMMANDS WITH_HOST_DALVIK="$WITH_HOST_DALVIK" HOST_CC=gcc-4.5 HOST_CXX=g++-4.5 HOST_CPP=cpp-4.5 + time $MAKE $MAKE_OPTS -j$MAKE_JOBS $MAKE_TARGETS $SHOWCOMMANDS WITH_HOST_DALVIK="$WITH_HOST_DALVIK" HOST_CC=gcc-4.5 HOST_CXX=g++-4.5 HOST_CPP=cpp-4.5 trap infrastructure_error ERR # Show remaining disk space to catch early if |