generate-configlist.sh

   1 #!/bin/sh
   2
   3 SOURCE_DIR="$1"
   4 OUTPUT="$2"
   5
   6 if test -z "$SOURCE_DIR" || ! test -d "$SOURCE_DIR" || test -z "$OUTPUT"
   7 then
   8         echo >&2 "USAGE: $0 <SOURCE_DIR> <OUTPUT>"
   9         exit 1
  10 fi
  11
  12 print_config_list () {
  13         cat <<EOF
  14 static const char *config_name_list[] = {
  15 EOF
  16         grep -h '^[a-zA-Z].*\..*::$' "$SOURCE_DIR"/Documentation/*config.txt "$SOURCE_DIR"/Documentation/config/*.txt |
  17         sed '/deprecated/d; s/::$//; s/,  */\n/g' |
  18         sort |
  19         sed 's/^.*$/    "&",/'
  20         cat <<EOF
  21         NULL,
  22 };
  23 EOF
  24 }
  25
  26 {
  27         echo "/* Automatically generated by generate-configlist.sh */"
  28         echo
  29         echo
  30         print_config_list
  31 } >"$OUTPUT"