Make basic generator robust to caps in filename

This ensures that a model filename with capitalization in it still produces autocoded Ada that is all lower case.
lasp · Sep 16, 2024 · cde66df · cde66df
1 parent 0a97404
commit cde66df
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/gen/generators/basic.py b/gen/generators/basic.py
@@ -260,9 +260,9 @@ def output_filename(self, input_filename):
 
         # Construct the filename:
         if specific_name:
-            output_filename = self._get_default_output_filename(specific_name)
+            output_filename = self._get_default_output_filename(specific_name.lower())
         else:
-            output_filename = self._get_default_output_filename(model_name)
+            output_filename = self._get_default_output_filename(model_name.lower())
 
         # Return the suggested output filename:
         return dirname + os.sep + build_dir + os.sep + output_filename