diff options
author | Lucki | 2019-06-14 16:51:33 +0200 |
---|---|---|
committer | Lucki | 2019-06-14 16:51:33 +0200 |
commit | b49454d03126ef9743e794465a9cbea49718d8eb (patch) | |
tree | 15e07b314bbc8d5831e23028e80416ddb1a6abfa | |
parent | 64c31a2b2488b05ab411876d88ab9286a0bf8365 (diff) | |
download | aur-b49454d03126ef9743e794465a9cbea49718d8eb.tar.gz |
just cosmetics, no version bump
of course I missed some in the previous commit
-rw-r--r-- | PKGBUILD | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -37,14 +37,14 @@ build() cd "$srcdir/${pkgname%-git}" || exit cmake -DCMAKE_INSTALL_PREFIX=/usr make -# make docs + # make docs } -#check() -#{ -# cd "$srcdir/$pkgname" -# ctest -#} +# check() +# { +# cd "$srcdir/$pkgname" +# ctest +# } package() { |