From a9265b6dd8bee38a88a51b1fae56360bcccdb072 Mon Sep 17 00:00:00 2001 From: Vladimir Sokolovsky Date: Mon, 29 Oct 2007 19:50:14 +0200 Subject: [PATCH] install.pl: define shell_startup_dir to /etc/profile.d for mpi-selector package. Signed-off-by: Vladimir Sokolovsky --- install.pl | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/install.pl b/install.pl index 73b34fc..e3769e0 100755 --- a/install.pl +++ b/install.pl @@ -2723,6 +2723,13 @@ sub build_rpm $cmd .= " --define '_usr $prefix'"; $cmd .= " --define 'path_to_mpihome $prefix/mpi/$compiler/$mpi-$main_packages{$mpi}{'version'}'"; } + elsif ($parent eq "mpi-selector") { + $cmd .= " --define '_prefix $prefix'"; + $cmd .= " --define '_exec_prefix $prefix'"; + $cmd .= " --define '_sysconfdir $sysconfdir'"; + $cmd .= " --define '_usr $prefix'"; + $cmd .= " --define 'shell_startup_dir /etc/profile.d'"; + } else { $cmd .= " --define '_prefix $prefix'"; $cmd .= " --define '_exec_prefix $prefix'"; -- 2.41.0