Bug 984721 - gprbuild 2013-1 not built with $RPM_OPT_FLAGS
Summary: gprbuild 2013-1 not built with $RPM_OPT_FLAGS
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: gprbuild
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Pavel Zhukov
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: DebugInfo
TreeView+ depends on / blocked
 
Reported: 2013-07-15 19:51 UTC by Ville Skyttä
Modified: 2014-06-18 07:22 UTC (History)
2 users (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed: 2013-07-16 06:59:47 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Ville Skyttä 2013-07-15 19:51:25 UTC 
gprbuild 2013-1 is not built with $RPM_OPT_FLAGS, see the gcc command lines in the build log, http://kojipkgs.fedoraproject.org/packages/gprbuild/2013/1.fc20/data/logs/x86_64/build.log
Comment 1 Pavel Zhukov 2013-07-16 06:59:47 UTC 
Thank you for the report. 

Rebuilt with %Gnatmake_optflags.
Note You need to log in before you can comment on or make changes to this bug.