summaryrefslogtreecommitdiffstats
path: root/config
diff options
context:
space:
mode:
authorMichael Olbrich <m.olbrich@pengutronix.de>2011-04-16 10:36:05 +0200
committerMichael Olbrich <m.olbrich@pengutronix.de>2011-04-18 14:47:32 +0200
commit2c3a539186138ffd592baefb6a1797563bee30b2 (patch)
treeed25a1951911b753277e92a82f3e9362a36cd98d /config
parent418d10347b550912d5d182cfe97c48df6324fc53 (diff)
downloadptxdist-2c3a539186138ffd592baefb6a1797563bee30b2.tar.gz
ptxdist-2c3a539186138ffd592baefb6a1797563bee30b2.tar.xz
ptxdist: make sure we're building on a local disk
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'config')
-rw-r--r--config/setup/Kconfig8
1 files changed, 8 insertions, 0 deletions
diff --git a/config/setup/Kconfig b/config/setup/Kconfig
index bf3195ef2..278eefd25 100644
--- a/config/setup/Kconfig
+++ b/config/setup/Kconfig
@@ -208,6 +208,14 @@ menu "Developer Options "
#config SETUP_CHECK_OMIT_SPACES
# bool "don't check for spaces in important directories"
+config SETUP_DISABLE_LOCAL_CHECK
+ bool
+ prompt "disable local disk check"
+ help
+ By default ptxdist will check that the BSP is built on a
+ local disk. Building on a network file system is slow and
+ may fail under certain circumstances.
+ Disable this check at your own risk.
config SETUP_ENV_WHITELIST
string "environment variable whitelist (space separated)"