diff options
| author | Maximilian Bosch <maximilian@mbosch.me> | 2019-11-01 00:16:46 +0100 |
|---|---|---|
| committer | Maximilian Bosch <maximilian@mbosch.me> | 2019-11-01 00:17:57 +0100 |
| commit | 75b8f418b3965132167305d916c9843301eacea2 (patch) | |
| tree | ed2ebf91b140edf86a9849f098e3c175d0c3f58f /kernel/src/lib.rs | |
| parent | 86fd2c1e6a602a1086d164b1ab2676c91b3684c6 (diff) | |
Add `set -e` to build script
To ensure that the build stops after build errors. Also fixed
several minor issues in the script to ensure that the build process
mostly runs successfully with and doesn't break due to file operations
when preparing the build env.
Diffstat (limited to 'kernel/src/lib.rs')
0 files changed, 0 insertions, 0 deletions