Update docker config for Debian-10 / LibreSOC.

bootstrap/docker/debian-10/Dockerfile.debug

@@ -0,0 +1,4 @@
+
+FROM debian10.libresoc
+
+CMD [ "/bin/bash", "-i" ]

bootstrap/docker/debian-10/Dockerfile.libresoc

@@ -0,0 +1,12 @@
+
+FROM debian10.coriolis
+
+# Cannot clone directly from LibreSOC repository as I need my
+# ssh key that I cannot forward to the docker build process.
+#
+# git clone ssh://gitolite3@libre-riscv.org:922/soclayout.git 
+
+COPY ./root/soclayout /root/coriolis-2.x/src/soclayout
+RUN  cd /root/coriolis-2.x/src/soclayout \
+ &&  git checkout 75e03eb
+

bootstrap/docker/debian-10/root/soclayout

@@ -0,0 +1 @@
+Subproject commit bd6b78003c0cc6579fbad73593e69f2714f3a770

bootstrap/dockerManager.sh

@@ -121,7 +121,7 @@
      docker build -f Dockerfile.coriolis -t ${coriolisImage} .
    fi
 
-   if [ ${doBuildCoriolis} -ne 0 ]; then
+   if [ ${doBuildBash} -ne 0 ]; then
      echo "Build \"${bashImage}\" docker image."
      docker build -f Dockerfile.bash -t ${bashImage}     .
    fi