diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2012-01-25 23:22:39 +0000 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2012-01-25 23:22:39 +0000 |
commit | d4b1d0b116b859bd35b241d0983753935a98858c (patch) | |
tree | e65661c2044fb1b07995e47514c08867abffc30b /update-xfonts-traditional | |
parent | 0e320c78a65ebb83a3ab4245a0f25d39ad4eeec9 (diff) |
support --always-reprocess
Diffstat (limited to 'update-xfonts-traditional')
-rwxr-xr-x | update-xfonts-traditional | 21 |
1 files changed, 13 insertions, 8 deletions
diff --git a/update-xfonts-traditional b/update-xfonts-traditional index 63e9040..895be6d 100755 --- a/update-xfonts-traditional +++ b/update-xfonts-traditional @@ -24,6 +24,7 @@ our $reportfh; our $foundryinfo; our %props; our $tolerate_bad_fonts=1; +our $always_reprocess; our $wanted_parallel; sub reportloaded { @@ -287,14 +288,17 @@ sub processfontdir ($) { return; } my $changed = 0; - my $olddone = do "$fontdir/$donefile"; - if (!$olddone) { - die "$fontdir $! $@ " unless $!==&ENOENT; - } elsif ($olddone->{''} ne $foundryinfo) { - our $repro_reported; - print $reportfh "reprocessing fonts (rules updated)\n" or die $! - unless $repro_reported++; - $olddone = undef; + my $olddone; + if (!$always_reprocess) { + $olddone = do "$fontdir/$donefile"; + if (!$olddone) { + die "$fontdir $! $@ " unless $!==&ENOENT; + } elsif ($olddone->{''} ne $foundryinfo) { + our $repro_reported; + print $reportfh "reprocessing fonts (rules updated)\n" or die $! + unless $repro_reported++; + $olddone = undef; + } } if (!$olddone) { $olddone = { }; @@ -453,6 +457,7 @@ our (@options)=( 'share-dir=s' => \$sharedir, 'verbose|v+' => \$verbose, 'j|parallel=i' => \$wanted_parallel, + 'always-reprocess!' => \$always_reprocess, 'tolerate-bad-fonts!' => \$tolerate_bad_fonts, ); |