1 files changed, 36 insertions, 0 deletions
diff --git a/check-kernel/PKGBUILD b/check-kernel/PKGBUILD
new file mode 100755
index 000000000..c99253cd5
--- /dev/null
+++ b/check-kernel/PKGBUILD
@@ -0,0 +1,36 @@
+# Maintainer: Erich Eckner <arch at eckner dot net>
+pkgname=check-kernel
+pkgver=0.0
+pkgrel=1
+pkgdesc='check if the installed kernel is currently running'
+arch=('any')
+url="https://opensources.eckner.net/ls.php?ls=${pkgname}"
+license=('GPL')
+groups=()
+depends=()
+makedepends=('help2man')
+checkdepends=()
+optdepends=()
+provides=()
+conflicts=()
+replaces=()
+backup=()
+options=()
+source=(
+    "${pkgname}-${pkgver}.tar.gz::https://opensources.eckner.net/dl.php?dl=${pkgname}-${pkgver}"
+)
+sha512sums=('f0dc65a3d2444d424856f9194c078a90b5064832f3075df26680523e6a1c0af398d5c02b5a5c205ecb68314e959d8f10573db5479dcce9891607ce6fb8550cd0')
+
+build() {
+
+    cd ${pkgname}-${pkgver}
+    make
+
+}
+
+package() {
+
+    cd ${pkgname}-${pkgver}
+    make DESTDIR=${pkgdir} install
+
+}