From a85992feeaa26403c23c402fc06c8ce67d9c2a8d Mon Sep 17 00:00:00 2001
From: Francesco Marinucci <franzmari@chakralinux.org>
Date: Mon, 3 Dec 2018 11:20:49 +0100
Subject: [PATCH] [skip-ci] kile: rebuild

---
 kile/PKGBUILD | 1 +
 1 file changed, 1 insertion(+)

diff --git a/kile/PKGBUILD b/kile/PKGBUILD
index dee261b96..9286291a0 100644
--- a/kile/PKGBUILD
+++ b/kile/PKGBUILD
@@ -14,6 +14,7 @@ source=("https://downloads.sourceforge.net/$pkgname/$pkgname-$pkgver.tar.bz2")
 sha256sums=('177372dc25b1d109e037a7dbfc64b5dab2efe538320c87f4a8ceada21e9097f2')
 
 build() {
+  mkdir build
   cd build
   cmake ../${pkgname}-${pkgver} \
     -DCMAKE_BUILD_TYPE=Release \