Setting addlabel to None from command line

open-research / sumatra

BSD 2-Clause "Simplified" License

127 stars 48 forks source link

Setting addlabel to None from command line #316

Closed adamist521 closed 7 years ago

adamist521 commented 8 years ago

smt configure -l cmdline or smt configure -l timestamp works but smt configure -l None does not work. I couldn't figure out a way to set --addlabel option to None. Is it on somewhere? Did I miss it?

apdavison commented 8 years ago

You didn't miss it. This is a bug. There is a fix in pull request #318.

As a workaround until the PR is reviewed, you could manually edit .smt/project and change "data_label" to null