diff options
| -rw-r--r-- | configure.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.pl b/configure.pl index b100fbe..34c4e2d 100644 --- a/configure.pl +++ b/configure.pl @@ -212,7 +212,7 @@ if($mpi_info_set) { while($info =~ /\s-I\s*(\S+)/g) { push @incdirs, $1; } - while($info =~ /\s-l(\w+)/g) { + while($info =~ /\s-l(\S+)/g) { push @libs, $1; } |