aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSebastian Kuhnert2008-08-28 13:34:10 +0000
committerSebastian Kuhnert2008-08-28 13:34:10 +0000
commit966a1d110871d4f4b3ba093291c890dbff602774 (patch)
tree5cc5a6a6e3625e1daa5bbe207afdf40fff9e7fe8
parent0e139689af82eea82254e129720371b736b722e0 (diff)
downloadexercisesheets-966a1d110871d4f4b3ba093291c890dbff602774.tar.gz
exercisesheets-966a1d110871d4f4b3ba093291c890dbff602774.tar.bz2
exercisesheets-966a1d110871d4f4b3ba093291c890dbff602774.zip
texall script: fix behaviour for -fS option combination
-rwxr-xr-xtexall2
1 files changed, 1 insertions, 1 deletions
diff --git a/texall b/texall
index 0b612a5..6a14ccc 100755
--- a/texall
+++ b/texall
@@ -355,7 +355,7 @@ def processtexfiles(args):
for bbl in bbls:
bblpath = os.path.normpath(os.path.join(dirname, bbl))
bbltime = os.path.getmtime(bblpath)
- if options.force or bbltime < bibtime:
+ if (options.force and not options.singlerun) or bbltime < bibtime:
reason = ""
if options.verbosity:
if bbltime < bibtime: