diff options
| -rwxr-xr-x | etc/rustdoc-with-private | 4 | ||||
| -rw-r--r-- | python/servo/command_base.py | 2 |
2 files changed, 1 insertions, 5 deletions
diff --git a/etc/rustdoc-with-private b/etc/rustdoc-with-private deleted file mode 100755 index 097c237c562..00000000000 --- a/etc/rustdoc-with-private +++ /dev/null @@ -1,4 +0,0 @@ -#!/bin/sh -# Skip the strip-private and strip-hidden rustdoc passes -# https://github.com/rust-lang/rust/issues/15347 -rustdoc --no-defaults --passes collapse-docs --passes unindent-comments --passes strip-priv-imports "$@" diff --git a/python/servo/command_base.py b/python/servo/command_base.py index 09ab3f911c6..4b29b25daf6 100644 --- a/python/servo/command_base.py +++ b/python/servo/command_base.py @@ -486,7 +486,7 @@ class CommandBase(object): if hosts_file_path: env['HOST_FILE'] = hosts_file_path - env['RUSTDOC'] = path.join(self.context.topdir, 'etc', 'rustdoc-with-private') + env['RUSTDOCFLAGS'] = "--document-private-items" if self.config["build"]["rustflags"]: env['RUSTFLAGS'] = env.get('RUSTFLAGS', "") + " " + self.config["build"]["rustflags"] |