Merge pull request #114 from bjones1/arm-support

bnmnetp · web-flow · commit 3c8d4c7823f5 · 2022-11-15T07:05:38.000-08:00
Fix: Better ARM assembly support.
diff --git a/bookserver/internal/feedback.py b/bookserver/internal/feedback.py
@@ -250,7 +250,7 @@ def _platform_edit(
     ext = os.path.splitext(source_path)[1]
     if ext == ".c":
         fmt = '#line 1 "box {}"\n'
-    elif ext == ".s":
+    elif ext == ".s" or ext == ".S":
         # I can't get this to work in the `gnu assembler <https://gcc.gnu.org/onlinedocs/cpp/Line-Control.html>`_. I tried:
         #
         # - From Section 4.11 (Misc directives):

Original file line number	Diff line number	Diff line change
`@@ -250,7 +250,7 @@ def _platform_edit(`
`250`	`250`	`ext = os.path.splitext(source_path)[1]`
`251`	`251`	`if ext == ".c":`
`252`	`252`	`fmt = '#line 1 "box {}"\n'`
`253`		`- elif ext == ".s":`
	`253`	`+ elif ext == ".s" or ext == ".S":`
`254`	`254`	# I can't get this to work in the `gnu assembler <https://gcc.gnu.org/onlinedocs/cpp/Line-Control.html>`_. I tried:
`255`	`255`	`#`
`256`	`256`	`# - From Section 4.11 (Misc directives):`