From 041b0f9202db08f1b6d0182ceb52ffc1077e0697 Mon Sep 17 00:00:00 2001 From: Iraq Jaber Date: Tue, 14 May 2024 20:02:40 +0100 Subject: [PATCH] added make temp file to help with dev --- make.sh | 1 + 1 file changed, 1 insertion(+) create mode 100755 make.sh diff --git a/make.sh b/make.sh new file mode 100755 index 00000000000000..fed48c3e80631e --- /dev/null +++ b/make.sh @@ -0,0 +1 @@ + rm -r build && make CMAKE_EXTRA_FLAGS=-DCMAKE_INSTALL_PREFIX=/tmp/nvim CMAKE_BUILD_TYPE=RelWithDebInfo && make install