1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-18 13:54:36 -05:00

Small experiment

This commit is contained in:
Dave Davenport 2017-03-31 21:08:52 +02:00
parent 563dc8dafd
commit 3e73cbd0ef

View file

@ -68,7 +68,9 @@ script:
- make
- make check
# to re-enable if xdotool is allowed.
- ulimit -c unlimited
- make test-x
- if [ -f core ]; then echo "bt" | gdb ./rofi core; fi
- make test-x1
- make coverage-cli
# - gcov source/rofi.c