contrib/ci.inria.fr/job-1-check.sh: fix saving env

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

@@ -37,6 +37,11 @@ basename=$(basename $tarball .tar.gz)
 export STARPU_HOME=$PWD/$basename/home
 mkdir -p $basename
 cd $basename
+(
+    echo "oldPWD=\${PWD}"
+    env|grep -v LS_COLORS | grep '^[A-Z]'|grep -v BASH_FUNC | grep '=' | sed 's/=/=\"/'| sed 's/$/\"/' | sed 's/^/export /'
+    echo "cd \$oldPWD"
+) > ${PWD}/env
 env > $PWD/env
 
 test -d $basename && chmod -R u+rwX $basename && rm -rf $basename