diff options
author | Marek Kubica | 2017-10-10 22:01:47 +0200 |
---|---|---|
committer | Marek Kubica | 2017-10-10 22:01:47 +0200 |
commit | 080cb8e0fb8d5de951fe3576a64c22aeba9b81de (patch) | |
tree | d02c7a221b8b86ab11667f3ef762d9e10198e8d1 /.SRCINFO | |
parent | 8c34c6370a4f8c0b4bdd4266531b568055919fdc (diff) | |
download | aur-080cb8e0fb8d5de951fe3576a64c22aeba9b81de.tar.gz |
Add -j 1 to avoid make race condition
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = why3 pkgdesc = The next generation of the software verification platform Why pkgver = 0.86.3 - pkgrel = 1 + pkgrel = 2 url = http://why3.lri.fr/ arch = x86_64 arch = i686 |