[gnutls-devel] [sr #108724] Configure option to avoid building tools

[Luke Dashjr]

Follow-up Comment #11, sr #108724 (project gnutls):

Doc examples use src/gl

(file #32826)
    _______________________________________________________

Additional Item Attachment:

File name: 0001-Added-configure-option-disable-tools.patch Size:4 KB


    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/support/?108724>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/