From 43cda0c2ff2cdb0e161979f8d67dde390ad4f752 Mon Sep 17 00:00:00 2001
From: termux-pacman-bot <termux-pacman-bot@outlook.com>
Date: Fri, 4 Nov 2022 09:36:18 +0000
Subject: [PATCH] micro: use make build instead of quick-build (#12849)

---
 packages/micro/build.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packages/micro/build.sh b/packages/micro/build.sh
index 7e51876901..a1b87ca545 100644
--- a/packages/micro/build.sh
+++ b/packages/micro/build.sh
@@ -4,6 +4,7 @@ TERMUX_PKG_LICENSE="MIT"
 TERMUX_PKG_MAINTAINER="@termux"
 TERMUX_PKG_SRCURL=https://github.com/zyedidia/micro.git
 TERMUX_PKG_VERSION=2.0.11
+TERMUX_PKG_REVISION=1
 
 termux_step_make() {
 	return
@@ -20,7 +21,7 @@ termux_step_make_install() {
 	cp -R . $MICRO_SRC
 
 	cd $MICRO_SRC
-	make build-quick
+	make build
 	mv micro $TERMUX_PREFIX/bin/micro
 }