mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-18 19:51:17 +00:00
Code Issues Wiki Activity

setup.sh: remove extraneous cat cmd

Browse source
This commit is contained in:
happysalada 2021-06-26 17:53:14 +09:00 committed by Raphael Megzari
parent 1f255cbe5c
commit 5617feb330
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
pkgs/stdenv/generic/setup.sh
View file

@ -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