If not args.master_dir, don't copy doxygen masters documentation

2017-06-06 15:20:57 +02:00 · 2017-06-06 15:20:57 +02:00 · 82d26e2ab3
parent 33cd8fda21
commit 82d26e2ab3
1 changed files with 9 additions and 8 deletions
--- a/Documentation/doc/scripts/testsuite.py
+++ b/Documentation/doc/scripts/testsuite.py
@ -223,6 +223,7 @@ body  {color: black; background-color: #C0C0D0; font-family: sans-serif;}
          except:
            sys.stderr.write("Error while copying documentation\n")
            raise
+          if args.master_dir:
            try:
              #copy documentation from master
              if args.do_copy_results: