From 82d26e2ab3fddfaebd420a0f1df28d0cdba09437 Mon Sep 17 00:00:00 2001 From: Maxime Gimeno Date: Tue, 6 Jun 2017 15:20:57 +0200 Subject: [PATCH] If not args.master_dir, don't copy doxygen masters documentation --- Documentation/doc/scripts/testsuite.py | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/Documentation/doc/scripts/testsuite.py b/Documentation/doc/scripts/testsuite.py index d39711727a8..6c5af94a0eb 100755 --- a/Documentation/doc/scripts/testsuite.py +++ b/Documentation/doc/scripts/testsuite.py @@ -223,14 +223,15 @@ body {color: black; background-color: #C0C0D0; font-family: sans-serif;} except: sys.stderr.write("Error while copying documentation\n") raise - try: - #copy documentation from master - if args.do_copy_results: - tgt=os.path.join(log_target, 'master') - shutil.copytree(args.master_dir, tgt, symlinks=True) - except: - sys.stderr.write("Error while copying master documentation\n") - raise + if args.master_dir: + try: + #copy documentation from master + if args.do_copy_results: + tgt=os.path.join(log_target, 'master') + shutil.copytree(args.master_dir, tgt, symlinks=True) + except: + sys.stderr.write("Error while copying master documentation\n") + raise except: sys.stderr.write("Error while writing to "+log_target+". Does it already exists?\n")