projects / git-tools-moved-to-github.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ad25ca5) | patch
Fix check for whether RPM was uploaded correctly
authorAdam Dickmeiss <adam@indexdata.dk>
Fri, 13 Jun 2014 09:52:31 +0000 (11:52 +0200)
committerAdam Dickmeiss <adam@indexdata.dk>
Fri, 13 Jun 2014 09:52:31 +0000 (11:52 +0200)
commitf93f2547e33dbf4216e110d2c2cc2fa2cf22bb3c
tree7c0bba4efaa302798c3df87dcd5108a48ac007b8tree | snapshot
parentad25ca528498711ea7a9a597079c6ea008818557commit | diff
Fix check for whether RPM was uploaded correctly

The message "FAILED: No RPM copied.." could occur where it shouldn't.
id-rpm-build/upload-rpms.sh diff | blob | history
ID Git Tools.