From 67a376f89e6b5f6a1f00ffe339a32670833bae04 Mon Sep 17 00:00:00 2001 From: Pavel Vondruska <dexter.cz@gmail.com> Date: Wed, 4 Oct 2023 09:04:47 +0200 Subject: [PATCH] Pridani verze debianu aby nedoslo ke konfliktu v pripade stejne verze ruznych debianu --- make.sh | 2 ++ 1 file changed, 2 insertions(+) diff --git a/make.sh b/make.sh index dc05273..e35dd6e 100755 --- a/make.sh +++ b/make.sh @@ -26,6 +26,8 @@ git clone https://github.com/cesnet/krb525 cd krb525 +sed "1 s/)/+deb${VERSION_ID})/" debian/changelog -i + dpkg-buildpackage -uc -us -b cd .. -- GitLab