Krisjanis Rijnieks
|
238535c0bd
|
Iterate on timelimit script, add sudo
|
7 years ago |
|
Krisjanis Rijnieks
|
204dc135f8
|
Change timelimit cmd to SIGINT and reduce timeout to 2100s
|
7 years ago |
|
Krisjanis Rijnieks
|
c52f69c87b
|
Replace SIGTERM with SIGHUP
|
7 years ago |
|
Krisjanis Rijnieks
|
3c01ca2ea1
|
Send SIGTERM (15) instead of kill (9) for timelimit
|
7 years ago |
|
Krisjanis Rijnieks
|
8a019f1239
|
Remove KILL signal from timelimit and increase time limit
|
7 years ago |
|
Krisjanis Rijnieks
|
0a7b9bb515
|
Add improved timelimit solution since it works
|
7 years ago |
|
Krisjanis Rijnieks
|
bd44615342
|
Fix timelimit script
|
7 years ago |
|
Krisjanis Rijnieks
|
538d1e66fa
|
Try to fix timelimit script
|
7 years ago |
|
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 |
