diff options
| -rwxr-xr-x | bin/reproducible_common.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/reproducible_common.sh b/bin/reproducible_common.sh index 9021dfc0..b78ecf07 100755 --- a/bin/reproducible_common.sh +++ b/bin/reproducible_common.sh @@ -13,7 +13,7 @@ if [ -f $PACKAGES_DB ] && [ -f $INIT ] ; then if [ -f $PACKAGES_DB.lock ] ; then for i in $(seq 0 100) ; do sleep 15 - if [ -! -f $PACKAGES_DB.lock ] ; then + if [ ! -f $PACKAGES_DB.lock ] ; then break fi done |