diff options
Diffstat (limited to 'src/etc/maketest.py')
| -rw-r--r-- | src/etc/maketest.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/etc/maketest.py b/src/etc/maketest.py index 96c658e5686..00d80e1bf4d 100644 --- a/src/etc/maketest.py +++ b/src/etc/maketest.py @@ -7,6 +7,7 @@ import sys os.putenv('RUSTC', os.path.abspath(sys.argv[2])) os.putenv('TMPDIR', os.path.abspath(sys.argv[3])) os.putenv('CC', sys.argv[4]) +os.putenv('RUSTDOC', os.path.abspath(sys.argv[5])) proc = subprocess.Popen(['make', '-C', sys.argv[1]], stdout = subprocess.PIPE, |