Julien Cretin
|
7d414439fd
|
Also restore index for check
|
2022-06-22 11:26:02 +02:00 |
|
Julien Cretin
|
d7b24424e5
|
Disable patches check on github
|
2022-06-21 19:58:43 +02:00 |
|
Julien Cretin
|
b14ed0e742
|
Add check command to patches script
|
2022-06-21 19:42:37 +02:00 |
|
Julien Cretin
|
37e9d6d64d
|
Do not set the stack size outside prod (#415)
* Add support for multiple modules
* Add macos fix
* Update setup-submodules script
|
2021-11-30 18:11:42 +01:00 |
|
Julien Cretin
|
33e0d6bb74
|
Use POSIX sed (#403)
|
2021-11-04 12:13:16 +01:00 |
|
Julien Cretin
|
53da98c272
|
Add restore command
|
2021-08-09 13:55:55 +02:00 |
|
Julien Cretin
|
0f70a211ea
|
Use bash, no rsync, add doc
|
2021-08-09 13:55:55 +02:00 |
|
Julien Cretin
|
7a812a657b
|
fix reproduce scripts
|
2021-08-09 13:55:55 +02:00 |
|
Julien Cretin
|
d25f65c565
|
Add tool for applying/saving Tock patches
|
2021-08-09 13:55:55 +02:00 |
|