Merge "Add Kelvin SystemC tests in to kelvin_sw_test"

platforms/nexus/iree.mk

diff --git a/platforms/nexus/iree.mk b/platforms/nexus/iree.mk
index 05965f4..782d93b 100644
--- a/platforms/nexus/iree.mk
+++ b/platforms/nexus/iree.mk
@@ -52,8 +52,6 @@
 	    -DCMAKE_C_COMPILER=gcc -DCMAKE_CXX_COMPILER=g++ \
 	    -DCMAKE_BUILD_TYPE=RelWithDebInfo \
 	    -DCMAKE_INSTALL_PREFIX=$(IREE_COMPILER_DIR)/install \
-	    -DIREE_HAL_DRIVERS_TO_BUILD="Dylib;VMVX" \
-	    -DIREE_TARGET_BACKENDS_TO_BUILD="DYLIB-LLVM-AOT;VMVX" \
 	    -DIREE_BUILD_TESTS=OFF \
 	    $(IREE_SRC)
 

platforms/shodan/iree.mk

diff --git a/platforms/shodan/iree.mk b/platforms/shodan/iree.mk
index 137062d..cec2ac2 100644
--- a/platforms/shodan/iree.mk
+++ b/platforms/shodan/iree.mk
@@ -52,8 +52,6 @@
 	    -DCMAKE_C_COMPILER=clang -DCMAKE_CXX_COMPILER=clang++ \
 	    -DCMAKE_BUILD_TYPE=RelWithDebInfo \
 	    -DCMAKE_INSTALL_PREFIX=$(IREE_COMPILER_DIR)/install \
-	    -DIREE_HAL_DRIVERS_TO_BUILD="Dylib;VMVX" \
-	    -DIREE_TARGET_BACKENDS_TO_BUILD="DYLIB-LLVM-AOT;VMVX" \
 	    -DIREE_BUILD_TESTS=OFF \
 	    $(IREE_SRC)