Login
Log in using an SSO provider:
Fedora Account System
Red Hat Associate
Red Hat Customer
Login using a Red Hat Bugzilla account
Forgot Password
Create an Account
Red Hat Bugzilla – Attachment 445505 Details for
Bug 631302
FTBFS coq-8.2pl1-1.fc12
Home
New
Search
Simple Search
Advanced Search
My Links
Browse
Requests
Reports
Current State
Search
Tabular reports
Graphical reports
Duplicates
Other Reports
User Changes
Plotly Reports
Bug Status
Bug Severity
Non-Defaults
Product Dashboard
Help
Page Help!
Bug Writing Guidelines
What's new
Browser Support Policy
5.0.4.rh90 Release notes
FAQ
Guides index
User guide
Web Services
Contact
Legal
[?]
This site requires JavaScript to be enabled to function correctly, please enable it.
[patch]
Fix FTBFS with make 8.82
coq.patch (text/plain), 580 bytes, created by
Stéphane Glondu
on 2010-09-07 18:47:03 UTC
(
hide
)
Description:
Fix FTBFS with make 8.82
Filename:
MIME Type:
Creator:
Stéphane Glondu
Created:
2010-09-07 18:47:03 UTC
Size:
580 bytes
patch
obsolete
>commit 294e6aa0a729aeaef25f18d690d94ee15a33d6ad >Author: Stephane Glondu <steph@glondu.net> >Date: Tue Sep 7 20:40:33 2010 +0200 > > Support for GNU Make 3.82 > >diff --git a/configure b/configure >index ff76cfe..f3c24e2 100755 >--- a/configure >+++ b/configure >@@ -325,8 +325,8 @@ MAKE=`which make` > if [ "$MAKE" != "" ]; then > MAKEVERSION=`$MAKE -v | head -1` > case $MAKEVERSION in >- "GNU Make 3.81") >- echo "You have GNU Make 3.81. Good!";; >+ "GNU Make 3.8"[12]) >+ echo "You have GNU Make >= 3.81. Good!";; > *) > OK="no" > if [ -x ./make ]; then
<b>You cannot view the attachment while viewing its details because your browser does not support IFRAMEs. <a href="attachment.cgi?id=445505">View the attachment on a separate page</a>.</b>
View Attachment As Diff
View Attachment As Raw
Actions:
View
|
Diff
Attachments on
bug 631302
:
444846
|
444847
|
444848
|
444849
|
444850
|
444851
| 445505