PRserv isn't only for incrementing EXTENDPRAUTO, but it should also increment the LOCALCOUNT (the "0" in "+git0") whenever git sha is changed to new value not yet recorded in PRserv db.
If this doesn't work, then something isn't configured correctly or there is a bug. Cheers, On Wed, Feb 28, 2024 at 1:25 PM <patrick.huesm...@desy.de> wrote: > > Hi Alex, > > I'm using PRSERV and the PR is also incrementing in the example I've shown; > this doesn't help as the PV of the older version is considered newer due to > the commit hash - in this case the PR is never evaluated. > > Patrick > >
-=-=-=-=-=-=-=-=-=-=-=- Links: You receive all messages sent to this group. View/Reply Online (#62633): https://lists.yoctoproject.org/g/yocto/message/62633 Mute This Topic: https://lists.yoctoproject.org/mt/104621339/21656 Group Owner: yocto+ow...@lists.yoctoproject.org Unsubscribe: https://lists.yoctoproject.org/g/yocto/unsub [arch...@mail-archive.com] -=-=-=-=-=-=-=-=-=-=-=-
