From 2ff035be1cc21051d5306db0235a48f7a240b281 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 27 May 2025 09:52:52 -0600 Subject: [PATCH] Indent Python scripts. --- contrib/utilities/build_primary_interface_unit.py | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/contrib/utilities/build_primary_interface_unit.py b/contrib/utilities/build_primary_interface_unit.py index 1f4b96159c..0cf670f707 100644 --- a/contrib/utilities/build_primary_interface_unit.py +++ b/contrib/utilities/build_primary_interface_unit.py @@ -35,16 +35,16 @@ print("module;") print("export module dealii;") # Go through all input files and check their exported module partitions: -for module_input_file in sys.argv[1:] : +for module_input_file in sys.argv[1:]: input = open(module_input_file, "r") # Read through the lines of the file and see where it exports a # module partition. Then 'export import' that partition: - for line in input : + for line in input: m = match_export.match(line) - if m : + if m: print("export import :" + m.group(1) + ";") - + # A file can only contain a single interface module # partition. So once we found one, we can stop parsing. - break; + break -- 2.39.5