Inria ci: detect native compiler directly.

Octachron · dra27 · commit 3411237cc177 · 2022-10-18T14:45:25.000+01:00
diff --git a/tools/ci/inria/main b/tools/ci/inria/main
@@ -251,7 +251,7 @@ fi
 
 eval ./configure "$CCOMP" $build $host --prefix='$instdir' $confoptions
 
-grep -q '^ARCH=none' Makefile.config && make_native=false
+grep -q '^NATIVE_COMPILER=false' Makefile.config && make_native=false
 
 if test "$flambda" = "true" && test "$make_native" = "false"; then
   echo "No need to test flambda in a bytecode-only system; skipping the test."
