From 4f1cce84fb8217589b67dd3244fd3f8ccbe14e3d Mon Sep 17 00:00:00 2001 From: Michael Tremer Date: Tue, 7 Nov 2017 15:27:31 +0100 Subject: [PATCH] make.sh: Remove setting the EDITOR variable which we don't use Signed-off-by: Michael Tremer --- make.sh | 12 ------------ 1 file changed, 12 deletions(-) diff --git a/make.sh b/make.sh index d9f779a81d..175db5191e 100755 --- a/make.sh +++ b/make.sh @@ -81,18 +81,6 @@ else configure_build "default" fi -if [ -z $EDITOR ]; then - for i in nano emacs vi; do - EDITOR=$(which $i 2>/dev/null) - if ! [ -z $EDITOR ]; then - export EDITOR=$EDITOR - break - fi - done - [ -z $EDITOR ] && exiterror "You should have installed an editor." -fi - - prepareenv() { ############################################################################ # # -- 2.39.2