[FYI] Merge branch 'maint' into master

commit baf8a1c22acce0908020210bcdd47f241ef5 Merge: f7e6189 4d56c0f Author: Stefano Lattarini Date: Wed May 22 00:23:14 2013 +0200 Merge branch 'maint' * maint: tests: run_make: options to do command redirection tests: only activate 'unset' alias if required tests:

[FYI] Merge branch 'micro' into maint

commit 4d56c0f3b5973e386c3e5f0fb2367d2fff00bf71 Merge: 60bfe0b c7cfa09 Author: Stefano Lattarini Date: Wed May 22 00:09:30 2013 +0200 Merge branch 'micro' into maint * micro: tests: run_make: options to do command redirection tests: only activate 'unset' alias if required

[FYI] {micro} tests: run_make: options to do command redirection

Let's improve the API of the 'run_make()' helper shell function by adding three new options: -O Save the standard output from make on disk, in a regular file named 'stdout'. -E Save the standard error from make on disk, in a regular file named 'stderr'. -M Save both the

[FYI] {micro} tests: only activate 'unset' alias if required

This makes the test logs easier to read for most shells (which do not actually require that alias). This is especially important now that 'unset' is used in the new 'run_make()' function, and that function is likely going to be used more and more in the future. * t/ax/test-lib.sh (_am_unset, unse