[PATCH] Add libctf to src-release.sh:GDB_SUPPORT_DIRS

[Tom Tromey]

>>>>> "Sergio" == Sergio Durigan Junior <sergiodj@redhat.com> writes:

Sergio> We're forgetting to include the libctf directory when creating the
Sergio> snapshot.  This commit changes src-release.sh and adds it to
Sergio> GDB_SUPPORT_DIRS.

Sergio> 2019-10-16  Sergio Durigan Junior  <sergiodj@redhat.com>

Sergio> 	* src-release.sh (GDB_SUPPORT_DIRS): Add libctf.

Thanks, this is ok.

Tom