diff options
Diffstat (limited to 'third_party/git/generate-configlist.sh')
| -rwxr-xr-x | third_party/git/generate-configlist.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/third_party/git/generate-configlist.sh b/third_party/git/generate-configlist.sh deleted file mode 100755 index 8692fe5cf4..0000000000 --- a/third_party/git/generate-configlist.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/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 |