summaryrefslogtreecommitdiff
path: root/update-xfonts-traditional
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2012-01-25 23:22:39 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2012-01-25 23:22:39 +0000
commitd4b1d0b116b859bd35b241d0983753935a98858c (patch)
treee65661c2044fb1b07995e47514c08867abffc30b /update-xfonts-traditional
parent0e320c78a65ebb83a3ab4245a0f25d39ad4eeec9 (diff)
support --always-reprocess
Diffstat (limited to 'update-xfonts-traditional')
-rwxr-xr-xupdate-xfonts-traditional21
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,
);