gnuconfig_update() {
local startdir # declared here ... used in gnuconfig_do_update
if [[ $1 == /* ]]; then
local x
for ((x = 1; x <= $#; x = x + 1)); do
echo "gnuconfig_update arg$x = [${!x}]"
done
if [[ $1 == */* ]]; then
startdir=$1
shift
else
