Catching a double fault is doomed... Don't take action.
Simplify CT_DoExecLog: it does not support affectations prior to the command, anyway.

/trunk/scripts/functions | 5 1 4 0 +----
1 file changed, 1 insertion(+), 4 deletions(-)

source config/global.in

source config/target.in

source config/toolchain.in

source config/kernel.in

source config/gmp_mpfr.in

source config/binutils.in

source config/cc.in

source config/libc.in

source config.gen/tools.in

source config.gen/debug.in