#1360 Gitlab CI: try with Ubuntu image rather than Fedora: I have with the...

#1360 Gitlab CI: try with Ubuntu image rather than Fedora: I have with the latter an error message about an issue with sh, and behaviour for entry point was not the same for Ubuntu.

ExternalTools/Gitlab-CI/.gitlab-ci.yml

@@ -8,18 +8,17 @@ stages:
 # Todo: Doxygen doc should be published with pages.
 
 # Test for Docker executor!:
-build-Fedora-clang-debug-shared-several_libs:
+build-Ubuntu-gcc-debug-shared-several_libs:
   stage: stage1
-  image: registry.gitlab.inria.fr/morefem/thirdpartycompilationfactory/fedora-clang-debug:latest 
+  image: registry.gitlab.inria.fr/morefem/thirdpartycompilationfactory/ubuntu-gcc-debug:latest 
   cache:
-      key: "$CI_COMMIT_REF_SLUG_Fedora-clang-debug-shared-several_libs"
+      key: "$CI_COMMIT_REF_SLUG_Ubuntu-gcc-debug-shared-several_libs"
       untracked: true
       paths:
           - build
   tags:
     - docker-test
   script:
-    - pwd
     - mkdir -p build
     - cd build && python ../cmake/Scripts/configure_cmake.py --cache_file=../cmake/PreCache/linux.cmake --cmake_args="-G Ninja"  --install_directory=/opt --third_party_directory=/opt
     - ninja -j 4