K 10
svn:author
V 3
dru
K 8
svn:date
V 27
2015-07-25T13:18:20.321207Z
K 7
svn:log
V 129
Fix makeoptions. While here, add a missing makeoption.

PR: 193107
Reviewed by: netchild
Sponsored by: Essen DevSummit Hackathon

END