Bug 984721

Summary: gprbuild 2013-1 not built with $RPM_OPT_FLAGS
Product: [Fedora] Fedora Reporter: Ville Skyttä <ville.skytta>
Component: gprbuildAssignee: Pavel Zhukov <pzhukov>
Status: CLOSED RAWHIDE QA Contact: Fedora Extras Quality Assurance <extras-qa>
Severity: unspecified Docs Contact:
Priority: unspecified    
Version: rawhideCC: nobody, pzhukov
Target Milestone: ---   
Target Release: ---   
Hardware: Unspecified   
OS: Unspecified   
Whiteboard:
Fixed In Version: Doc Type: Bug Fix
Doc Text:
Story Points: ---
Clone Of: Environment:
Last Closed: 2013-07-16 06:59:47 UTC Type: Bug
Regression: --- Mount Type: ---
Documentation: --- CRM:
Verified Versions: Category: ---
oVirt Team: --- RHEL 7.3 requirements from Atomic Host:
Cloudforms Team: --- Target Upstream Version:
Embargoed:
Bug Depends On:    
Bug Blocks: 496968    

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.