From b2c2b530b6ccdf72286ad1c31076745a7c00fcb5 Mon Sep 17 00:00:00 2001
From: Joel Grunbaum <joelgrun@gmail.com>
Date: Thu, 15 Oct 2020 02:36:15 +0000
Subject: [PATCH] Dont match package version due to git packages
---
main.sh | 13 ++++++++++++-
1 files changed, 12 insertions(+), 1 deletions(-)
diff --git a/main.sh b/main.sh
index ce058ff..dadd091 100755
--- a/main.sh
+++ b/main.sh
@@ -70,7 +70,8 @@
source PKGBUILD
pkgs=()
for i in ${pkgname[@]}; do
- pkgs+=("$i-$pkgver-$pkgrel")
+ #pkgs+=("$i-$pkgver-$pkgrel")
+ pkgs++("$i")
done
#Move package to repodir and add to repo db
@@ -116,6 +117,16 @@
done
break
else
+ if [[ -z "$(grep $1 $REPODIR/.waitlist)" ]]; then
+ # Not on waitlist for some reason, need to readd
+ if [[ $(cat $REPODIR/.waitlist.lck) == 1]]; then
+ sleep 1
+ else
+ echo 1 > $REPODIR/.waitlist.lck
+ echo $1 >> $REPODIR/.waitlist
+ echo 0 > $REPODIR/.waitlist.lck
+ fi
+ fi
sleep 10
fi
done
--
Gitblit v1.10.0