contrib/ci.inria.fr: pass some configure options from slave-specific envvars

Signed-off-by: Brice Goglin <[email protected]>

Author: bgoglin

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

@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# Copyright © 2012-2018 Inria.  All rights reserved.
+# Copyright © 2012-2020 Inria.  All rights reserved.
 # See COPYING in top-level directory.
 #
 
@@ -30,7 +30,7 @@ touch configure
 # build without plugins, with relative VPATH
 mkdir build
 cd build
-../configure
+../configure $HWLOC_CI_JOB1CHECK_CONFOPTS
 make
 make check
 utils/lstopo/lstopo-no-graphics -v
@@ -39,7 +39,7 @@ cd ..
 # build with plugins, with absolute VPATH
 mkdir build-plugins
 cd build-plugins
-$PWD/../configure --enable-plugins
+$PWD/../configure --enable-plugins $HWLOC_CI_JOB1CHECK_CONFOPTS
 make
 make check
 tests/hwloc/wrapper.sh utils/lstopo/lstopo-no-graphics -v

contrib/ci.inria.fr/job-3-debug.sh

@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# Copyright © 2012-2018 Inria.  All rights reserved.
+# Copyright © 2012-2020 Inria.  All rights reserved.
 # See COPYING in top-level directory.
 #
 
@@ -30,7 +30,7 @@ touch configure
 # build with plugins and debug
 mkdir build-plugins-debug
 cd build-plugins-debug
-../configure --enable-plugins --enable-debug
+../configure --enable-plugins --enable-debug $HWLOC_CI_JOB3DEBUG_CONFOPTS
 make
 make check
 tests/hwloc/wrapper.sh utils/lstopo/lstopo-no-graphics