diff options
author | Valdemar Erk | 2017-03-07 16:21:42 +0100 |
---|---|---|
committer | Valdemar Erk | 2017-03-07 16:21:42 +0100 |
commit | 433d0ec78d75ed424c744f4fdeaa82f1357cdf46 (patch) | |
tree | ab50089dea848ef66d91ac9eb43770b659c0cb75 | |
parent | 7c9ccdde89de28a0f244f0f36e9a9ab4ded1d243 (diff) | |
download | aur-433d0ec78d75ed424c744f4fdeaa82f1357cdf46.tar.gz |
Changed it to not build tests.
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -2,7 +2,7 @@ pkgname=gravity-lang-git pkgdesc="Gravity Programming Language." pkgver=0.2.5 -pkgrel=1 +pkgrel=2 arch=('any') url="https://marcobambini.github.io/gravity/" license=('MIT') @@ -16,7 +16,7 @@ _repo_name=gravity build() { cd "$srcdir/$_repo_name" - make + make gravity } package() { |