Add new options to rel make (#94)

This commit is contained in:
dbalatoni13 2025-04-01 01:15:16 +02:00 committed by GitHub
parent ddd9dbb0ba
commit 614d4f2efc
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -104,6 +104,9 @@ pub struct MakeArgs {
#[argp(option, short = 'n')]
/// (optional) module names
names: Vec<String>,
#[argp(option, short = 'v')]
/// (optional) REL version (default is 3)
version: Option<u32>,
#[argp(switch, short = 'w')]
/// disable warnings
no_warn: bool,
@ -364,7 +367,7 @@ fn make(args: MakeArgs) -> Result<()> {
let _span = info_span!("file", path = %module_info.path).entered();
let mut info = RelWriteInfo {
module_id: module_info.module_id,
version: 3,
version: args.version.unwrap_or(3),
name_offset: None,
name_size: None,
align: None,