Difference with parent commit 14378bf1c57bd1870c998a54440da217afd8f573
Files modified: check_leak
--- +++ @@ -35,7 +35,7 @@
if(! defined $ENV{'TMP'}) {
- printf STDERR "The environment variable TMP is not set.\n";+ printf "The environment variable TMP is not set.\n";
exit(1);
}