diff options
Diffstat (limited to 'mpi/config.links')
| -rw-r--r-- | mpi/config.links | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mpi/config.links b/mpi/config.links index 71906a06d..18cf9040a 100644 --- a/mpi/config.links +++ b/mpi/config.links @@ -277,3 +277,13 @@ for fn in $mpi_ln_modules ; do done done +# Same thing for the file which defines the limb size +path="$path generic" +for dir in $path ; do + rm -f $srcdir/mpi/mpi-asm-defs.h + if test -f $srcdir/mpi/$dir/mpi-asm-defs.h ; then + mpi_ln_src="$mpi_ln_src mpi/$dir/mpi-asm-defs.h" + mpi_ln_dst="$mpi_ln_dst mpi/mpi-asm-defs.h" + break; + fi +done |