Amend 75f7eafd

[features.git] / lib / scripts / lyxpreview2bitmap.py

diff --git a/lib/scripts/lyxpreview2bitmap.py b/lib/scripts/lyxpreview2bitmap.py
index de4121f2dbca750ea22ed3226c0a8d070ad22d00..dfed2643ed84d21644b2560b9b399cfee8cfc35c 100755 (executable)
--- a/lib/scripts/lyxpreview2bitmap.py
+++ b/lib/scripts/lyxpreview2bitmap.py
@@ -435,7 +435,9 @@ def main(argv):
                 fg_color, bg_color, latex, pdf_output)
 
     # Compile the latex file.
-    run_latex(latex, latex_file, bibtex)
+    latex_status, latex_stdout = run_latex(latex, latex_file, bibtex)
+    if latex_status:
+        warning("trying to recover from failed compilation")
 
     # The dvi output file name
     dvi_file = latex_file_re.sub(".dvi", latex_file)