Summary
- General: updated our different developer Shell scripts. (details)
The file was modified | runtests (diff) |
The file was modified | scripts/genericmake (diff) |
The file was modified | clean (diff) |
The file was modified | maketests (diff) |
The file was modified | cleanall (diff) |
The file was modified | make (diff) |
The file was modified | run (diff) |
The file was modified | format (diff) |
The file was modified | package (diff) |
The file was modified | scripts/genericclean (diff) |