view scripts/genconfig.sh @ 247:085395c1471d

Die on compilation or stripping failure
author Charlie Shepherd <masterdriverz@gentoo.org>
date Fri, 25 Jan 2008 14:44:01 +0000
parents 4f1ca01db000
children 8b0487639db9
line wrap: on
line source

#!/bin/bash

# This has to be a separate file from scripts/make.sh so it can be called
# before menuconfig.  (It's called again from scripts/make.sh just to be sure.)

mkdir -p generated

function genconfig()
{
  for i in $(echo toys/*.c | sort)
  do
    # Grab the config block for Config.in
    echo "# $i"
    sed -n '/^\*\//q;/^config [A-Z]/,$p' $i || exit 1
    echo
  done
}

genconfig > generated/Config.in