Exclude RV32M-built ELF file from 'check' target

Author: jserv

.github/workflows/main.yml

@@ -24,6 +24,7 @@ jobs:
             make distclean ENABLE_ARC=1 tests
     - name: diverse configurations
       run: |
+            make distclean ENABLE_EXT_M=0 check
             make distclean ENABLE_EXT_A=0 check
             make distclean ENABLE_EXT_C=0 check
             make distclean ENABLE_EXT_F=0 check

Makefile

@@ -139,7 +139,11 @@ include mk/tests.mk
 CHECK_ELF_FILES := \
 	hello \
 	puzzle \
+
+ifeq ($(call has, EXT_M), 1)
+CHECK_ELF_FILES += \
 	pi
+endif
 
 EXPECTED_hello = Hello World!
 EXPECTED_puzzle = success in 2005 trials