|
|
8daffa876c
|
Make some shell scripts executable
|
2022-10-12 14:31:50 +02:00 |
|
|
|
4a212b4c92
|
Modify shebangs to use /usr/bin/env bash instead of /bin/sh
|
2022-10-08 15:35:39 +02:00 |
|
|
|
aa5c1be945
|
Separate building a debug image and running it, and provide a script for GDB.
|
2022-10-08 15:32:48 +02:00 |
|
