Staging
v0.8.1
v0.8.1
Revision e4f4299859610638e45ec1a36266973b9a4eb47a authored by Johannes Schindelin on 12 February 2021, 14:50:10 UTC, committed by Johannes Schindelin on 12 February 2021, 14:50:10 UTC
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
1 parent 3f01e56
generate-configlist.sh
#!/bin/sh
echo "/* Automatically generated by generate-configlist.sh */"
echo
print_config_list () {
cat <<EOF
static const char *config_name_list[] = {
EOF
grep -h '^[a-zA-Z].*\..*::$' Documentation/*config.txt Documentation/config/*.txt |
sed '/deprecated/d; s/::$//; s/, */\n/g' |
sort |
sed 's/^.*$/ "&",/'
cat <<EOF
NULL,
};
EOF
}
echo
print_config_list
Computing file changes ...