1
1

Do not use default options from config/defaults if configuring inside Open MPI

This commit was SVN r23753.
Этот коммит содержится в:
Matthias Jurenz 2010-09-14 06:51:14 +00:00
родитель 755d2c7e9b
Коммит 33e29247b6

@ -54,16 +54,19 @@ dnl make sure file exists
[
dnl if no file given, generate options file name and look for it
dnl in config/defaults
AS_IF([test x"$BITMODE" != x],
AS_IF([test x"$inside_openmpi" = "xno"],
[
AS_IF([test -r "$options_dir/$PLATFORM-$BITMODE"],
[options_file="$options_dir/$PLATFORM-$BITMODE"])
])
AS_IF([test x"$BITMODE" != x],
[
AS_IF([test -r "$options_dir/$PLATFORM-$BITMODE"],
[options_file="$options_dir/$PLATFORM-$BITMODE"])
])
AS_IF([test x"$options_file" = x],
[
AS_IF([test -r "$options_dir/$PLATFORM"],
[options_file="$options_dir/$PLATFORM"])
AS_IF([test x"$options_file" = x],
[
AS_IF([test -r "$options_dir/$PLATFORM"],
[options_file="$options_dir/$PLATFORM"])
])
])
AS_IF([test x"$options_file" != x],