diff options
Diffstat (limited to 'build/camlp4-bootstrap.sh')
| -rwxr-xr-x | build/camlp4-bootstrap.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/camlp4-bootstrap.sh b/build/camlp4-bootstrap.sh index c594c80e26..ef9a93c01b 100755 --- a/build/camlp4-bootstrap.sh +++ b/build/camlp4-bootstrap.sh @@ -5,6 +5,9 @@ set -e cd `dirname $0`/.. +. config/config.sh +export PATH=$BINDIR:$PATH + TMPTARGETS="\ camlp4/boot/Lexer.ml" |