From: Han-Wen Nienhuys <hanwen@xs4all.nl>
Date: Thu, 29 May 2008 02:14:56 +0000 (-0300)
Subject: Require log file if -dseparate-log-files is specified.
X-Git-Tag: release/2.11.48-1~24^2~3
X-Git-Url: https://git.donarmstrong.com/lilypond.git?a=commitdiff_plain;h=b6028b5bb32e553d2f1497298697e5c4deedf648;p=lilypond.git

Require log file if -dseparate-log-files is specified.
---

diff --git a/scripts/lilypond-book.py b/scripts/lilypond-book.py
index 649d660da5..63f075a149 100644
--- a/scripts/lilypond-book.py
+++ b/scripts/lilypond-book.py
@@ -1207,6 +1207,8 @@ class LilypondSnippet (Snippet):
 
         if 'ddump-profile' in global_options.process_cmd:
             require_file (base + '.profile')
+        if 'dseparate-log-file' in global_options.process_cmd:
+            require_file (base + '.log')
 
         map (consider_file, [base + '.tex',
                              base + '.eps',