diff options
Diffstat (limited to 'docs/manual')
| -rw-r--r-- | docs/manual/manual.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk index 09265665a2..f0bbff8e26 100644 --- a/docs/manual/manual.mk +++ b/docs/manual/manual.mk @@ -1,7 +1,7 @@ manual-update-lists: manual-check-dependencies-lists $(Q)$(call MESSAGE,"Updating the manual lists...") $(Q)BR2_DEFCONFIG="" TOPDIR=$(TOPDIR) O=$(O)/docs/manual/.build \ - $(TOPDIR)/support/scripts/gen-manual-lists.py + python -B $(TOPDIR)/support/scripts/gen-manual-lists.py # we can't use suitable-host-package here because that's not available in # the context of 'make release' |
