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

diff --git a/src/NETGEN/netgen45ForSalome.patch b/src/NETGEN/netgen45ForSalome.patch
index 7b94dc84a64da419b24d2d90278eee327606156d..1d2b2cf96f95b687065c8d030a95a7d5d236863a 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);
 +    }
    }