Bug 1013323 - mlton-20130715-3 not built with $RPM_OPT_FLAGS
Summary: mlton-20130715-3 not built with $RPM_OPT_FLAGS
Keywords:
Status: CLOSED RAWHIDE
Alias: None
Product: Fedora
Classification: Fedora
Component: mlton
Version: rawhide
Hardware: Unspecified
OS: Unspecified
unspecified
unspecified
Target Milestone: ---
Assignee: Adam Goode
QA Contact: Fedora Extras Quality Assurance
URL:
Whiteboard:
Depends On:
Blocks: DebugInfo
TreeView+ depends on / blocked
 
Reported: 2013-09-29 09:31 UTC by Ville Skyttä
Modified: 2013-09-29 21:53 UTC (History)
2 users (show)

Fixed In Version:
Clone Of:
Environment:
Last Closed: 2013-09-29 21:53:24 UTC
Type: Bug
Embargoed:

Attachments (Terms of Use)

Description Ville Skyttä 2013-09-29 09:31:48 UTC 
mlton-20130715-3 is not built with $RPM_OPT_FLAGS:

http://kojipkgs.fedoraproject.org//packages/mlton/20130715/3.fc21/data/logs/x86_64/build.log

20100608-18 did not have this problem.
Comment 1 Adam Goode 2013-09-29 21:53:24 UTC 
Thanks, fixed in mlton-20130715-4.
Note You need to log in before you can comment on or make changes to this bug.