diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-07-27 14:25:19 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2008-07-27 14:25:19 (GMT) |
| commit | 8e512f9a95ed6ef31d1b38e5f2f01dc44930a411 (patch) | |
| tree | f117f1876bc4abd43abdea0feb2b16f033caf86d /scripts/crosstool.sh | |
| parent | 66e2db8dad073ed3d98a6dec6f8831fadd67ea12 (diff) | |
Re-enable the restart functionality by removing some variables from the saved environment.
/trunk/scripts/functions | 16 10 6 0 ++++++++++------
1 file changed, 10 insertions(+), 6 deletions(-)
Diffstat (limited to 'scripts/crosstool.sh')
0 files changed, 0 insertions, 0 deletions