diff --git a/ets2panda/util/options.yaml b/ets2panda/util/options.yaml index 332845801b051f5655641ec829ebc20cfff815b7..af06d0bf4a5c113dec275d38fa2aace9d46119ee 100644 --- a/ets2panda/util/options.yaml +++ b/ets2panda/util/options.yaml @@ -22,6 +22,11 @@ options: default: false description: Print this message and exit +- name: version + type: bool + default: false + description: Print version and exit + - name: arktsconfig type: std::string default: $ORIGIN/arktsconfig.json