diff options
| author | Michael Olbrich <m.olbrich@pengutronix.de> | 2011-04-16 10:36:05 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2011-04-18 14:47:32 +0200 |
| commit | 2c3a539186138ffd592baefb6a1797563bee30b2 (patch) | |
| tree | ed25a1951911b753277e92a82f3e9362a36cd98d /bin | |
| parent | 418d10347b550912d5d182cfe97c48df6324fc53 (diff) | |
| download | ptxdist-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 'bin')
| -rwxr-xr-x | bin/ptxdist | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/bin/ptxdist b/bin/ptxdist index 86eeabd9f..155158120 100755 --- a/bin/ptxdist +++ b/bin/ptxdist @@ -469,6 +469,17 @@ check_dirs() { ; do check_dirs_mkdir "${dir}" done + if ! df -l "${PTXDIST_PLATFORMDIR}" >/dev/null 2>&1; then + if [ "${PTXCONF_SETUP_DISABLE_LOCAL_CHECK}" != "y" ]; then + echo + echo "$(ptxd_print_path "${PTXDIST_PLATFORMDIR}") must be on a local disk!" + echo "Disable this check with 'ptxdist setup' (Developer Options) to continue anyways." + echo + exit 1 + else + ptxd_warning "$(ptxd_print_path "${PTXDIST_PLATFORMDIR}") is not on a local disk." + fi + fi # create standard direcory layout for dir in \ |