luke
/
klayout
mirror of https://github.com/KLayout/klayout.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

minor edit in logging

This commit is contained in:
Thomas Ferreira de Lima 2019-04-05 12:47:06 -04:00
parent d457209665
commit e579f3a868
No known key found for this signature in database
GPG Key ID: 43E98870EAA0A86E
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
travis-build.sh
View File

@ -3,7 +3,7 @@ set -e
export PING_SLEEP=30s
bash -c "while true; do find * | wc -l; sleep $PING_SLEEP; done" &
bash -c "while true; do find qt* | wc -l; sleep $PING_SLEEP; done" &
PING_LOOP_PID=$!
touch build.txt