diff --git a/lib/scripts/lyxpreview2bitmap.py b/lib/scripts/lyxpreview2bitmap.py index 674c33e611..e7887b6a4a 100755 --- a/lib/scripts/lyxpreview2bitmap.py +++ b/lib/scripts/lyxpreview2bitmap.py @@ -532,4 +532,4 @@ def main(argv): return (0, dvipng_metrics) if __name__ == "__main__": - exit(main(sys.argv)[0]) + sys.exit(main(sys.argv)[0])