err.sh
|
x/xx: slightly more verbose error messages
|
2023-10-14 09:01:58 +01:00 |
git.sh
|
update/trees: don't run make if mode=fetch
|
2023-10-20 08:45:57 +01:00 |
mrc.sh
|
minor code cleanup in shell scripts
|
2023-10-19 23:36:56 +01:00 |
option.sh
|
error handling code cleanup and fixes
|
2023-10-20 05:03:16 +01:00 |