mirror of
https://github.com/davatorium/rofi.git
synced 2024-11-18 13:54:36 -05:00
Disable xdotools for now.
This commit is contained in:
parent
8dfb5e59db
commit
6a9edfa23a
1 changed files with 2 additions and 1 deletions
|
@ -23,4 +23,5 @@ script:
|
|||
- ./configure --enable-gcov
|
||||
- make
|
||||
- make test
|
||||
- make test-x
|
||||
# to re-enable if xdotool is allowed.
|
||||
# - make test-x
|
||||
|
|
Loading…
Reference in a new issue