summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN <yann.morin.1998@free.fr>2013-12-05 23:41:57 (GMT)
committer Peter Korsgaard <peter@korsgaard.com>2013-12-06 14:23:26 (GMT)
commitf678e3108695fccb96c363987ff53e0cd5b16be2 (patch)
tree81b4829175afc8502a65f6cab71033ae99bcafd9
parent72962843a80849e5d159181fcf5ebbfae4de2916 (diff)
downloadbuildroot-f678e3108695fccb96c363987ff53e0cd5b16be2.tar.gz
buildroot-f678e3108695fccb96c363987ff53e0cd5b16be2.tar.bz2
manual: do not generate .pyc files
Python saves a pre-compiled support/scripts/kconfiglib.pyc file side-to-side with the corresponding .py file. This does not work if the Buildroot source tree is read-only (but this is not an error for Python, which keep going OK). But this may cause issues for out-of-tree builds in case the same Buildroot source tree is shared by many builds. Also, 'make clean' currently does not clean this file, and out-of-tree builds can remove it either, at the risk of causing issues for other out-of-tree builds running at the same time. Just tell Python not to generate .pyc files: - call the script via python, don't use the sha-bang - thus, make the script non-executable, and remove the sha-bang Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr> Cc: Arnout Vandecappelle <arnout@mind.be> Cc: Samuel Martin <s.martin49@gmail.com> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>
-rw-r--r--docs/manual/manual.mk2
-rw-r--r--[-rwxr-xr-x]support/scripts/gen-manual-lists.py2
2 files changed, 1 insertions, 3 deletions
diff --git a/docs/manual/manual.mk b/docs/manual/manual.mk
index 0926566..f0bbff8 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'
diff --git a/support/scripts/gen-manual-lists.py b/support/scripts/gen-manual-lists.py
index 4546e07..4562d7e 100755..100644
--- a/support/scripts/gen-manual-lists.py
+++ b/support/scripts/gen-manual-lists.py
@@ -1,5 +1,3 @@
-#!/usr/bin/env python
-##
## gen-manual-lists.py
##
## This script generates the following Buildroot manual appendices: