Omit 'as' debug level for toolchain compatability

More recent versions of aarch64-none-elf-as don't support passing a debug level to -g. Signed-off-by: Nick Spinale <[email protected]>
seL4 · Oct 25, 2023 · ea36717 · ea36717
1 parent 95a4ab3
commit ea36717
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/libmicrokit/Makefile b/libmicrokit/Makefile
@@ -22,7 +22,7 @@ $(BUILD_DIR)/%.o : src/%.S
 	$(TOOLCHAIN)gcc -x assembler-with-cpp -c -g3  -mcpu=$(GCC_CPU)  $< -o $@
 
 $(BUILD_DIR)/%.o : src/%.s
-	$(TOOLCHAIN)as -g3 -mcpu=$(GCC_CPU) $< -o $@
+	$(TOOLCHAIN)as -g -mcpu=$(GCC_CPU) $< -o $@
 
 $(BUILD_DIR)/%.o : src/%.c
 	$(TOOLCHAIN)gcc -c $(CFLAGS) $< -o $@

diff --git a/loader/Makefile b/loader/Makefile
@@ -32,7 +32,7 @@ $(BUILD_DIR)/%.o : src/%.S
 	$(TOOLCHAIN)gcc -x assembler-with-cpp -c -g3  -mcpu=$(GCC_CPU)  $< -o $@
 
 $(BUILD_DIR)/%.o : src/%.s
-	$(TOOLCHAIN)as -g3 -mcpu=$(GCC_CPU) $< -o $@
+	$(TOOLCHAIN)as -g -mcpu=$(GCC_CPU) $< -o $@
 
 $(BUILD_DIR)/%.o : src/%.c
 	$(TOOLCHAIN)gcc -c $(CFLAGS)  $< -o $@

diff --git a/monitor/Makefile b/monitor/Makefile
@@ -22,7 +22,7 @@ $(BUILD_DIR)/%.o : src/%.S
 	$(TOOLCHAIN)gcc -x assembler-with-cpp -c -g3  -mcpu=$(GCC_CPU)  $< -o $@
 
 $(BUILD_DIR)/%.o : src/%.s
-	$(TOOLCHAIN)as -g3 -mcpu=$(GCC_CPU) $< -o $@
+	$(TOOLCHAIN)as -g -mcpu=$(GCC_CPU) $< -o $@
 
 $(BUILD_DIR)/%.o : src/%.c
 	$(TOOLCHAIN)gcc -c $(CFLAGS)  $< -o $@