diff options
author | happysalada <raphael@megzari.com> | 2021-06-26 17:53:14 +0900 |
---|---|---|
committer | Raphael Megzari <raphael@megzari.com> | 2021-07-06 09:27:18 +0900 |
commit | 5617feb330e7cb024b4fe5ecd0a927d7c007e5a8 (patch) | |
tree | 42827d397cbde73070f38f0df95aed43bf175939 /pkgs/stdenv | |
parent | 1f255cbe5c3d8b2e370938fcd30fe922767f41fe (diff) |
setup.sh: remove extraneous cat cmd
Diffstat (limited to 'pkgs/stdenv')
-rw-r--r-- | pkgs/stdenv/generic/setup.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/stdenv/generic/setup.sh b/pkgs/stdenv/generic/setup.sh index b1da14c9b9d72..0db99ad53944f 100644 --- a/pkgs/stdenv/generic/setup.sh +++ b/pkgs/stdenv/generic/setup.sh @@ -125,7 +125,7 @@ exitHandler() { if [ -n "${showBuildStats:-}" ]; then times > "$NIX_BUILD_TOP/.times" local -a buildTimesArray - IFS=" " read -r -a buildTimesArray <<< "$(cat "$NIX_BUILD_TOP/.times")" + IFS=" " read -r -a buildTimesArray < "$NIX_BUILD_TOP/.times" # Print the following statistics: # - user time for the shell # - system time for the shell |