https://bugzilla.redhat.com/show_bug.cgi?id=965570 Shakthi Kannan <shakthimaan@xxxxxxxxx> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|ASSIGNED |MODIFIED --- Comment #7 from Shakthi Kannan <shakthimaan@xxxxxxxxx> --- The license tag and the file paths have been updated. The CFLAGS and CXXFLAGS are set to use ${RPM_OPT_FLAGS}, and the value can be seen in the output. For example: $ rpm --eval "%{optflags}" -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m64 -mtune=generic and at: http://kojipkgs.fedoraproject.org//work/tasks/8770/5538770/build.log The permissions are shown correctly as 755 for the F20 built RPM: $ rpmls cbmc-4.3-2.20130515svn.fc20.x86_64.rpm -rwxr-xr-x /usr/bin/cbmc -rwxr-xr-x /usr/bin/goto-cc -rwxr-xr-x /usr/bin/goto-instrument SPEC: http://shakthimaan.fedorapeople.org/SPECS/cbmc.spec SRPM: http://shakthimaan.fedorapeople.org/SRPMS/cbmc-4.3-3.20130515svn.fc17.src.rpm -- You are receiving this mail because: You are on the CC list for the bug. Unsubscribe from this bug https://bugzilla.redhat.com/token.cgi?t=MwsjtKs2GN&a=cc_unsubscribe _______________________________________________ package-review mailing list package-review@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/package-review