9 Commits (17b44b3df7e6da83f87ede1f63ad66495c902ac1)

Author SHA1 Message Date
Krisjanis Rijnieks 17b44b3df7 Try to use timelimit instead of timeout 7 years ago
Krisjanis Rijnieks 9d22b767b7 Try to fix timeout 7 years ago
Krisjanis Rijnieks 0ce6b0ac86 Attempt to fix timeout script 7 years ago
Krisjanis Rijnieks 5efd33952d Fix wrong signal param 7 years ago
Krisjanis Rijnieks b97a2319cd Another attempt to fix the timeout script 7 years ago
Krisjanis Rijnieks 6bc5b1d950 Update timeout with -k 0 7 years ago
Krisjanis Rijnieks 87f7b49c36 Specify SIGINT for thimeout operation to quit make on time 7 years ago
Krisjanis Rijnieks 212695449b Attempt to fix kill make after timeout 7 years ago
Krisjanis Rijnieks e9cfd7b134 Refine Travis CI build scripts for Raspberry Pi 7 years ago