#!/bin/bash set -e # Accept overrides from command line if needed sed=${SED:-sed} grep=${GREP:-grep} # Generate either a choice or a menuconfig with the specified entries. # # Usage: # generate a choice: # gen_choice