blob: 8692fe5cf4d5e4025265e6110254b05640615fea [file] [log] [blame]
Emily Shaffer709df952020-04-16 14:18:03 -07001#!/bin/sh
2
3echo "/* Automatically generated by generate-configlist.sh */"
4echo
5
6print_config_list () {
7 cat <<EOF
8static const char *config_name_list[] = {
9EOF
10 grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt Documentation/config/*.txt |
11 sed '/deprecated/d; s/::$//; s/, */\n/g' |
12 sort |
13 sed 's/^.*$/ "&",/'
14 cat <<EOF
15 NULL,
16};
17EOF
18}
19
20echo
21print_config_list