Debug Dockerfile.stfubuntu

docker/home/etc/init.d/10-titan.sh

@@ -20,13 +20,23 @@ git clone --progress "$TITAN_REPO" || exit 1
 cd titan.core || exit 1
 cat >Makefile.personal <<EOF
 TTCN3_DIR=$TTCN3_DIR
-JNI=yes
-GUI=yes
+JNI=no
+GUI=no
 DEBUG=no
 GEN_PDF=no
 JDKDIR=$JAVA_HOME
 EOF
 
+
+echo -e "##########################################################"
+if [ -f /usr/include/editline/readline.h ]
+then
+    head /usr/include/editline/readline.h
+else
+    echo -e "==> Missing editline package?????"
+fi
+echo -e "##########################################################"
+
 make && make install || exit 1
 
 # To be compiant with build_ttcn3.bash