[Openmp-dev] patch to allow lib name at configure time

[Peyton, Jonathan L]

>This patch could be changed to have a default and then only change the name if the variable is set.

Your patch already does this! :)
So it looks fine to me as is.

-- Johnny

-----Original Message-----
From: openmp-dev-bounces at cs.uiuc.edu [mailto:openmp-dev-bounces at cs.uiuc.edu] On Behalf Of C Bergström
Sent: Saturday, May 9, 2015 9:36 AM
To: openmp-dev at dcs-maillist2.engr.illinois.edu
Subject: [Openmp-dev] patch to allow lib name at configure time

This patch could be changed to have a default and then only change the name if the variable is set. Anyway it should be a start or serve as an example for someone to trivially improve.

Hopefully this will silence any discussion about what the name should be.