diff options
author | Jonathan Corbet <corbet@lwn.net> | 2019-06-04 07:55:49 -0600 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2019-06-04 07:55:49 -0600 |
commit | 18e1572419d69f8d45248cccabc40352a3e281d6 (patch) | |
tree | b78c3d375f7df3b59f31deacd9dabdea9b1d2216 /scripts/gdb/linux/dmesg.py | |
parent | 6c01edd395a7cc7bb82333e953992eb0e76b1c35 (diff) |
docs: Completely fix the remote build tree case
My previous fix miserably failed to catch all of the invocations of
"./scripts/sphinx-pre-install", so we got build errors. Try again with
more caffeine.
Reported-by: kbuild test robot <lkp@intel.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/gdb/linux/dmesg.py')
0 files changed, 0 insertions, 0 deletions