diff options
Diffstat (limited to 'tools')
-rwxr-xr-x | tools/linux_packaging/stage2.run | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/linux_packaging/stage2.run b/tools/linux_packaging/stage2.run index 1c1d720726..51c7d3a2f1 100755 --- a/tools/linux_packaging/stage2.run +++ b/tools/linux_packaging/stage2.run @@ -206,7 +206,7 @@ else fi #Check space in INSTALL_DEST_BASE - FREE_BYTES=$(df -B 1 ${INSTALL_DEST_BASE} | grep / | awk '{print $4}') + FREE_BYTES=$(df -P -B 1 ${INSTALL_DEST_BASE} | grep / | awk '{print $4}') if [ ${FREE_BYTES} -le ${REQUIRED_BYTES} ] ; then echo "" |