Skip to content
This repository has been archived by the owner on Apr 25, 2021. It is now read-only.

add options for timings, traces, supershell, and color #259

Merged
merged 2 commits into from
Apr 5, 2019
Merged

add options for timings, traces, supershell, and color #259

merged 2 commits into from
Apr 5, 2019

Commits on Apr 5, 2019

  1. support GNU style double dash options

    @eed3si9n
    eed3si9n committed Apr 5, 2019
    Configuration menu
    Copy the full SHA
    56f09ef View commit details
    Browse the repository at this point in the history

  2. add options for timings, traces, supershell, and color 

    `--supershell=*` will pass on to `-Dsbt.supershell=*`.
    @eed3si9n
    eed3si9n committed Apr 5, 2019
    Configuration menu
    Copy the full SHA
    a47004e View commit details
    Browse the repository at this point in the history