diff options
| author | Stephan Bergmann <sbergman@redhat.com> | 2012-09-11 14:23:33 +0200 |
|---|---|---|
| committer | Stephan Bergmann <sbergman@redhat.com> | 2012-09-11 17:11:12 +0200 |
| commit | a0ca9451c7e628056b14bef46ebeadc20f463ba2 (patch) | |
| tree | c584089a7629a0fac2e5ee1da04a7f7dbc732e54 /l10ntools | |
| parent | 04f94ba53f2b18fdf548ca86bce5030ca6b06eb0 (diff) | |
Make update_tree.pl work with internal xmllint
Change-Id: I5985e484ffd031e0526c2de7765df113b51bb7e8
Diffstat (limited to 'l10ntools')
| -rw-r--r-- | l10ntools/scripts/update_tree.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/l10ntools/scripts/update_tree.pl b/l10ntools/scripts/update_tree.pl index 568d99e36ad5..02faf6a37c72 100644 --- a/l10ntools/scripts/update_tree.pl +++ b/l10ntools/scripts/update_tree.pl @@ -44,7 +44,7 @@ terminate() if ( ! defined $inpath ); my $destpath = $inpath; my $with_lang = $ARGV[1]; -my $xmllint = $ENV{XMLLINT}; +my $xmllint = $ENV{XMLLINT} || "$ENV{OUTDIR_FOR_BUILD}/bin/xmllint"; $tree_target_prefix = $ARGV[4]; |