From 0c6b19a7950d07aba38e340ff1e7e3c0c2e4bb3b Mon Sep 17 00:00:00 2001 From: Eli Barzilay Date: Sat, 5 Jan 2008 00:11:55 +0000 Subject: [PATCH] show a setup-plt line for each run of pdflatex svn: r8219 --- collects/setup/setup-unit.ss | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/setup/setup-unit.ss b/collects/setup/setup-unit.ss index 82642ee73b..98e51de653 100644 --- a/collects/setup/setup-unit.ss +++ b/collects/setup/setup-unit.ss @@ -849,10 +849,12 @@ tmp-dir) (parameterize ([current-directory tmp-dir]) (for-each (lambda (f) + (define cmd (format "pdflatex \"~a\"" f)) (when (regexp-match? #rx#"[.]tex$" (path-element->bytes f)) (let loop ([n 3]) (unless (zero? n) - (unless (system (format "pdflatex ~a" f)) + (setup-printf "running ~a" cmd) + (unless (system cmd) (error 'setup-plt "pdflatex failed")) (loop (sub1 n)))) (let* ([f (path-replace-suffix f #".pdf")]