# mini-buildd default config

# Only 'MINI_BUILDD_OPTIONS' (mini-buildd extra command line options)
# is handled here. Please (re)configure package to set his option via
# debconf. Manual edits work too, though.

MINI_BUILDD_OPTIONS=""
