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 7075e52c35..1c1d720726 100755 --- a/tools/linux_packaging/stage2.run +++ b/tools/linux_packaging/stage2.run @@ -196,7 +196,7 @@ else REQUIRED_BYTES=$(cat .${PGM_NAME}_${ARCH}-*.size) #Check space in current folder - FREE_BYTES=$(df -B 1 ${PKG_PATH} | grep / | awk '{print $4}') + FREE_BYTES=$(df -P -B 1 ${PKG_PATH} | grep / | awk '{print $4}') if [ ${FREE_BYTES} -le ${REQUIRED_BYTES} ] ; then echo "" |