fix if options aren't set
author Patrick Spendrin
()
committer Patrick Spendrin
()
commit 326db0ca19bfeb4a93c34ca7449929f6d958f3fa
tree f4a499c962c6a5811d582cd275aaefb5e25ff390
parent 03c891e996024b07da6352ce69f6e37bca405012
fix if options aren't set
(cherry picked from commit a0effb531ed7ce866906c622aea4b93a14c01457)
bin/options.py