# Options passed to wdmd.
wdmd_opts=""
