Update ofed.conf file when '--all|--hpc|--basic' options used.

Signed-off-by: Vladimir Sokolovsky <vlad@mellanox.co.il>

diff --git a/install.pl b/install.pl
index 7b1178746b5a5441fc513e9bd796e4e0b73d68db..27277598c17336f3f1133a8033167c7f92a49a7d 100755 (executable)
--- a/install.pl
+++ b/install.pl
@@ -1735,6 +1735,8 @@ sub select_packages
             }
         }
         else {
+            open(CONFIG, ">>$config") || die "Can't open $config: $!";;
+            flock CONFIG, $LOCK_EXCLUSIVE;
             if ($install_option eq 'all') {
                 for my $package ( @all_packages ) {
                     next if (not $packages_info{$package}{'available'});