Merge pull request #76 from tock/fix-protection-region-message

fix protected region size warning
tock · Aug 3, 2023 · bf5f460 · bf5f460
2 parents ede1c65 + b46e099
commit bf5f460
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/convert.rs b/src/convert.rs
@@ -461,7 +461,7 @@ pub fn elf_to_tbf(
             //
             // If we have also been passed a fixed protected region size on the
             // command line, warn that the ELF symbol will take precedence!
-            if protected_region_size_symbol.is_some() {
+            if protected_region_size_arg.is_some() {
                 println!(
                     "Overriding command-line specified protected_region_size \
 		 with tbf_protected_region_size symbol = {} bytes!",