wip disable criterion

immunant · Oct 15, 2024 · e583149 · e583149
1 parent 0a7d7e7
commit e583149
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/misc/CMakeLists.txt b/misc/CMakeLists.txt
@@ -1,3 +1 @@
-if (LIBIA2_AARCH64)
-    add_subdirectory(spoofed_criterion)
-endif()
+add_subdirectory(spoofed_criterion)