diff --git a/contrib/ci.inria.fr/job-3-embedded.sh b/contrib/ci.inria.fr/job-3-embedded.sh
new file mode 100755
index 0000000000..e715ced87e
--- /dev/null
+++ b/contrib/ci.inria.fr/job-3-embedded.sh
@@ -0,0 +1,36 @@
+#!/bin/sh
+#
+# Copyright © 2012-2018 Inria.  All rights reserved.
+# See COPYING in top-level directory.
+#
+
+set -e
+set -x
+
+# environment variables
+test -f $HOME/.ciprofile && . $HOME/.ciprofile
+
+# remove everything but the last 10 builds
+ls | grep -v ^hwloc- | grep -v ^job- | xargs rm -rf || true
+ls -td hwloc-* | tail -n +11 | xargs chmod u+w -R || true
+ls -td hwloc-* | tail -n +11 | xargs rm -rf || true
+
+# find the tarball, extract it
+tarball=$(ls -tr hwloc-*.tar.gz | grep -v build.tar.gz | tail -1)
+basename=$(basename $tarball .tar.gz)
+test -d $basename && chmod -R u+rwX $basename && rm -rf $basename
+tar xfz $tarball
+mv $tarball $basename # keep the tarball, we'll need it for the embedded test below
+cd $basename
+
+# ignore clock problems
+touch configure
+
+# embedded tests
+(cd tests/embedded && ./run-embedded-tests.sh ../../../$tarball)
+
+# cleanup
+rm -rf doc
+cd ..
+tar cfz ${basename}.build.tar.gz $basename
+rm -rf $basename