Issue 20371: remove the creation of netgen.prof : additional patch

diff --git a/src/NETGEN/netgen45ForSalome.patch b/src/NETGEN/netgen45ForSalome.patch
index 51a95c33d8806eebc1a88b916c4bf9b96f7a1365..a47e944cb3c68d40be97f962699a8bb2299287c6 100644 (file)
--- a/src/NETGEN/netgen45ForSalome.patch
+++ b/src/NETGEN/netgen45ForSalome.patch
@@ -41,7 +41,7 @@ diff -Naur netgen-4.5.old/libsrc/general/profiler.cpp netgen-4.5.new/libsrc/gene
 +      ofstream prof ("netgen.prof");
 +      Print (prof);
 +    }
-+    else {
++    else if ((env = getenv("NETGEN_PROF")) && !strcmp(env, "0")) {
 +      Print (std::cout);
 +    }
    }