Add a hint for the UI

eed88510 · Federico G. Schwindt · 890170c8 · eed88510
Commit eed88510 authored Mar 17, 2020 by Federico G. Schwindt
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

.travis.yml .travis.yml +1 -0

No files found.
--- a/.travis.yml
+++ b/.travis.yml
@@ -46,6 +46,7 @@ jobs:
        - ./autogen.sh
        - ./configure
    - <<: *test-linux
+      env: WITNESS=1
      script: make -j8 witness
    - <<: *test-linux
      stage: sanitizers