Message ID | patch-v3-06.10-646363db11f-20211105T135058Z-avarab@gmail.com (mailing list archive) |
---|---|
State | Accepted |
Commit | 66d55b990ea093be180e816d28143b8952edd52b |
Headers | show |
Series | generate-cmdlist.sh: make it (and "make") run faster | expand |
diff --git a/generate-cmdlist.sh b/generate-cmdlist.sh index e517c33710a..a1ab2b1f077 100755 --- a/generate-cmdlist.sh +++ b/generate-cmdlist.sh @@ -67,10 +67,7 @@ print_command_list () { while read cmd rest do printf " { \"$cmd\", $(get_synopsis $cmd), 0" - for cat in $(echo "$rest" | get_category_line) - do - printf " | CAT_$cat" - done + printf " | CAT_%s" $(echo "$rest" | get_category_line) echo " }," done echo "};"