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 | 64cd8928d9883fc76b93dcc2147ce16a51559194 (patch) | |
| tree | 8a3be89577ee91dc7691bfd8613cf4f493bd6a69 /.version | |
| parent | 20b6fec157f25be17ee3b3c63e7b10eb7327db2a (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>
(transplanted from 2ed26c6465689c024044f79c19ba302f749d0100)
Diffstat (limited to '.version')
0 files changed, 0 insertions, 0 deletions