make  &&

if  [[  "$VBTRACETOOL_EXTRAS"  ==  "y"  ]];  then
  pushd  extrautils  &&
  make               &&
  popd
fi
