new: no output redirection if STDIN is a terminal
authorHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Thu, 30 Jun 2022 08:44:25 +0000 (10:44 +0200)
committerHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Thu, 30 Jun 2022 08:44:37 +0000 (10:44 +0200)
commite587d5d609e5f0e64dc40bc10ef70eba585fd7a9
treeab320e3a69d51fdef07c3d46bff4c6a761df51f0
parent6688df4e60498026b5d343448031804e347b957e
new: no output redirection if STDIN is a terminal
script/build