my $cmd = "$MAKECOMMAND | tee ...";
print STDERR "cmd: !!$cmd!!\n" if $DEBUGGING;
my $ret = system( $cmd );