K 10
svn:author
V 5
garga
K 8
svn:date
V 27
2020-11-06T17:19:49.737438Z
K 7
svn:log
V 188
devel/git: Fix options for flavors

Only change OPTIONS_FILE when flavor is not empty or default.  It fixes a
problem saving options on poudriere for default flavor

Reported by:	madpilot

END