[Bug 631302] FTBFS coq-8.2pl1-1.fc12

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=631302

--- Comment #7 from Stéphane Glondu <steph@xxxxxxxxxx> 2010-09-07 14:47:03 EDT ---
Created attachment 445505
  --> https://bugzilla.redhat.com/attachment.cgi?id=445505
Fix FTBFS with make 8.82

Well... the configure script is not very flexible about this... Attached is an
untested patch. Could someone try it? If it's OK, I'll commit it upstream...

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
_______________________________________________
ocaml-devel mailing list
ocaml-devel@xxxxxxxxxxxxxxxxxxxxxxx
https://admin.fedoraproject.org/mailman/listinfo/ocaml-devel



[Index of Archives]     [Fedora Users]     [Fedora Desktop]     [Fedora SELinux]     [Big List of Linux Books]     [Yosemite News]     [KDE Users]

  Powered by Linux