Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
1--- a/shtool 2008-07-05 05:43:08.000000000 +0800 2+++ b/shtool 2018-07-25 15:45:40.559587471 +0800 3@@ -1400,7 +1400,7 @@ 4 if [ ".$opt_t" = .yes ]; then 5 echo "strip $dsttmp" 1>&2 6 fi 7- strip $dsttmp || shtool_exit $? 8+ $STRIP $dsttmp || shtool_exit $? 9 fi 10 if [ ".$opt_o" != . ]; then 11 if [ ".$opt_t" = .yes ]; then