From e74cde76c104df82b120a7b13964cb786da8f565 Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Mon, 22 May 2023 20:18:50 +0200
Subject: community -> extra

---
 community/tinyemu/PKGBUILD | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 community/tinyemu/PKGBUILD

(limited to 'community/tinyemu')

diff --git a/community/tinyemu/PKGBUILD b/community/tinyemu/PKGBUILD
deleted file mode 100644
index b7af84e1..00000000
--- a/community/tinyemu/PKGBUILD
+++ /dev/null
@@ -1,11 +0,0 @@
-# disable 128 bit RISCV on 32-bit targets, not supported
-eval "$(
-  {
-    declare -f prepare || \
-    printf 'prepare() {\n}\n'
-  } \
-  | sed '
-    $i sed -i s/^CONFIG_INT128=.*/#CONFIG_INT128=n/ "$m"
-  '
-)"
-
-- 
cgit v1.2.3-70-g09d2