소스 검색

contrib: set configure options for OpenBSD

Nathalie Furmento 7 년 전
부모
커밋
611007cfd0
1개의 변경된 파일1개의 추가작업 그리고 1개의 파일을 삭제
  1. 1 1
      contrib/ci.inria.fr/job-1-check.sh

+ 1 - 1
contrib/ci.inria.fr/job-1-check.sh

@@ -51,7 +51,7 @@ then
 fi
 if test "$suname" == "OpenBSD"
 then
-    STARPU_CONFIGURE_OPTIONS="--without-hwloc"
+    STARPU_CONFIGURE_OPTIONS="--without-hwloc --disable-mlr"
 fi
 
 export CC=gcc