From 92f86da6503fc17833741ab3c180b64997d54c5c Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Fri, 4 Nov 2016 11:41:43 +0100 Subject: [PATCH] fix _oasis --- _oasis | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/_oasis b/_oasis index 52d4812f..879bb22b 100644 --- a/_oasis +++ b/_oasis @@ -118,7 +118,7 @@ Executable run_qtest Install: false CompiledObject: best MainIs: run_qtest.ml - Build$: flag(tests) && flag(bigarray) && flag(unix) + Build$: flag(tests) && flag(unix) BuildDepends: containers, containers.iter, containers.sexp, containers.unix, containers.data, @@ -127,7 +127,7 @@ Executable run_qtest Test all Command: ./run_qtest.native TestTools: run_qtest - Run$: flag(tests) && flag(unix) && flag(bigarray) + Run$: flag(tests) && flag(unix) Executable mem_measure Path: benchs/