diff --git a/scripts/ost_config.in b/scripts/ost_config.in index 1b84852e949c41287d8b659b762c9bc61de8e49b..99dd87b0faa8136f49591f206673d4b49d19b592 100644 --- a/scripts/ost_config.in +++ b/scripts/ost_config.in @@ -50,6 +50,18 @@ if [ -n "$DNG_ATTACH_VALGRIND" ]; then pyexec="`which valgrind`#--leak-check=full#$pyexec" fi +if [ -n "$DNG_PROFILE" ]; then + if [[ "$DNG_PROFILE" == "yep" ]]; then + echo "Profiling activated using yep" + pyexec="$pyexec#-m#yep#-v#--" + elif [[ "$DNG_PROFILE" == "cProfile" ]]; then + echo "Profiling activated using cProfile" + pyexec="$pyexec#-m#cProfile#-s#cumulative#--" + else + echo "Profiling deactivated due to unkown profiler" + fi +fi + set -o noglob