diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-01-07 12:11:37 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2009-01-07 12:11:37 (GMT) |
| commit | e4d8094edb4cc51077b53059d9fd802cf63c1753 (patch) | |
| tree | 3325f24cb3f11fcb4aa80c75ae995123d7400678 /scripts/build/tools | |
| parent | f3263568749070b8d03c809c10caa78747073e26 (diff) | |
./configurei: make FORCE work again:
- removed the --force command line option
- use FORCE from the environment
/trunk/configure | 9 2 7 0 ++-------
1 file changed, 2 insertions(+), 7 deletions(-)
Diffstat (limited to 'scripts/build/tools')
0 files changed, 0 insertions, 0 deletions