From 097d24347f9eb5dfda67f54cf651e6d36da4889c Mon Sep 17 00:00:00 2001 From: iceman1001 Date: Thu, 15 Apr 2021 18:13:33 +0200 Subject: [PATCH] remove unused command in Makefile --- Makefile | 8 -------- 1 file changed, 8 deletions(-) diff --git a/Makefile b/Makefile index b2dcba430..77b7b9741 100644 --- a/Makefile +++ b/Makefile @@ -249,14 +249,6 @@ endif # easy printing of MAKE VARIABLES print-%: ; @echo $* = $($*) -cliparser: - # Get list of all commands - cat doc/commands.md | grep -e ^\|\` | cut -f 2 -d "\`" | grep -v 'help\|list\|script run\|quit\|exit' | awk '{$$1=$$1};1' > cliparser_all_commands.tmp - # Get list of cliparserized commands - grep -r CLIParserInit ./client/src/ | cut -f 2 -d "\"" | awk '{$$1=$$1};1' > cliparser_done.tmp - # Determine commands that still need cliparser conversion - grep -xvf cliparser_done.tmp cliparser_all_commands.tmp > ./doc/cliparser_todo.txt - style: # Make sure astyle is installed @which astyle >/dev/null || ( echo "Please install 'astyle' package first" ; exit 1 )