> A build tool we are using adds -pie by default and there seems to > be no easy way to override this. Adding -no-pie to achieve this. > > Is this patch alright? This is OK. Thanks! -cary