diff options
author | Diego Nieto Cid | 2015-12-16 12:43:00 -0300 |
---|---|---|
committer | Diego Nieto Cid | 2015-12-16 12:43:00 -0300 |
commit | 849be836ec69477e80c637cd00285a727e66309a (patch) | |
tree | 8a97721cdac4b67e770a3b383c776a88ee828329 | |
parent | f2af8520bfeffa13eaeda0f9a36bdf7f6e2bb113 (diff) | |
download | aur-849be836ec69477e80c637cd00285a727e66309a.tar.gz |
clean before building
Because changes are generally applied to application.ini which
is not tracked by Makefiles.
-rw-r--r-- | PKGBUILD | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -22,6 +22,7 @@ md5sums=('SKIP' build() { cd "$srcdir/$pkgname-git/src" cp Makefile.arch Makefile + make clean make -j1 } |