diff options
| -rwxr-xr-x | Tools/portbuild/scripts/claim-chroot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Tools/portbuild/scripts/claim-chroot b/Tools/portbuild/scripts/claim-chroot index fae7e86c165c..3fd4a705bde9 100755 --- a/Tools/portbuild/scripts/claim-chroot +++ b/Tools/portbuild/scripts/claim-chroot @@ -40,7 +40,7 @@ done chrootnum=$$ # If we didn't find a pre-existing directory, create and claim a new one. while [ ${found} != 1 ]; do - chrootnum=$((chrootnum+1)) + chrootnum=$(($chrootnum+1)) chroot=${chrootdir}/${chrootnum} mkdir -p ${chroot} 2>/dev/null || continue mkdir ${chroot}/used 2>/dev/null || continue |