Deduplicate Makefile static target and add thread locking check #395

Merged
carlosmn merged 1 commits from cmn/check-thread-lock into master 2017-07-08 13:49:16 -05:00

1 Commits

Author SHA1 Message Date
Carlos Martín Nieto 27d123f631 Deduplicate Makefile static target and add thread locking check
It turns out we had been running CI without performing the thread locking check.
2017-07-08 18:24:41 +02:00