fix libirmin: ppc64le

mirage · Sep 5, 2024 · 0840542 · 0840542
1 parent 7a45a57
commit 0840542
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/test/libirmin/dune b/test/libirmin/dune
@@ -8,7 +8,9 @@
    (setenv
     LD_LIBRARY_PATH
     ../../src/libirmin/lib
-    (run ./test.exe)))))
+    (run ./test.exe))))
+ (enabled_if
+  (<> %{model} "ppc64le")))
 
 (rule
  (targets test.exe)