jimtcl: update to version 0.80 (2020-10-29)

Update jimtcl to version 0.80.
Add a workaround in Makefile.am to allow 'make distcheck' with the
new jimtcl. A fix is already merged upstream but will be part of
the future release 0.81 of jimtcl.

Change-Id: I1cebfb9c17179114960dc771e0b31836b4b9b058
Signed-off-by: Antonio Borneo <borneo.antonio@gmail.com>
Reviewed-on: http://openocd.zylin.com/5949
Tested-by: jenkins

Makefile.am

@@ -115,6 +115,8 @@ uninstall-hook:
 distclean-local:
 	rm -rf Doxyfile doxygen
 	rm -f $(srcdir)/jimtcl/configure.gnu
+# FIXME: workaround for jimtcl 0.80 only. Remove from jimtcl 0.81
+	rm -f jimtcl/examples.api/Makefile
 
 DISTCLEANFILES = doxygen.log
 

jimtcl

@@ -1 +1 @@
-Subproject commit 0aa0fb4e3a38d38a49de9eb585d93d63a370dcf6
+Subproject commit fb923fab4f0cf276c336d98692d00df6a943791d