diff options
author | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-07-26 15:15:48 (GMT) |
---|---|---|
committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-07-26 15:15:48 (GMT) |
commit | f0ac6d13b8ba9b04f8ab8a35f9dec331c63d366b (patch) | |
tree | 58f0029cc9ebdda5d140367f35bcefb138523003 /config/global | |
parent | 87108e02413f709f05ecb80534483e40b5bb1ccf (diff) |
Backport #863 from trunk:
Hmmm. The debug pause at each step never ever worked... Sigh...
/branches/1.2/scripts/crosstool.sh | 2 1 1 0 +-
/branches/1.2/config/global/ct-behave.in | 2 1 1 0 +-
2 files changed, 2 insertions(+), 2 deletions(-)
Diffstat (limited to 'config/global')
-rw-r--r-- | config/global/ct-behave.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/global/ct-behave.in b/config/global/ct-behave.in index 737028b..5cd6bf6 100644 --- a/config/global/ct-behave.in +++ b/config/global/ct-behave.in @@ -44,7 +44,7 @@ config DEBUG_CT if DEBUG_CT -config DEBUG_CT_PAUSE_STEPS +config DEBUG_PAUSE_STEPS bool prompt "Pause between every steps" default n |