diff options
| author |   Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-01-22 22:20:18 (GMT) |
|---|---|---|
| committer | Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> | 2011-01-22 22:20:18 (GMT) |
| commit | 7e64cef4b4a45c4ef4d27ad90571738870679b30 (patch) | |
| tree | c4b9ab51becc7db38720cc8d6db11bf92ef57372 /scripts/functions | |
| parent | 74943860467a2b7f7d7a34c856a437fb06e84f70 (diff) | |
scripts: create the makeinfo wrapper before we set PATH
If we set PATH to the tools wrappers before we create the
makeinfo wrapper, then we may well wrap an existing wrapper
from a previous run.
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@anciens.enib.fr>
Diffstat (limited to 'scripts/functions')
0 files changed, 0 insertions, 0 deletions