Write profile data if and only if requested.

[bluesky.git] / bluesky / util.c

diff --git a/bluesky/util.c b/bluesky/util.c
index 45bc9f5..d854460 100644 (file)
--- a/bluesky/util.c
+++ b/bluesky/util.c
@@ -393,7 +393,10 @@ void bluesky_profile_set_output(FILE *stream)
 
 void bluesky_profile_print(BlueSkyProfile *profile)
 {
-    FILE *stream = profiling_file ? profiling_file : stdout;
+    if (profiling_file == NULL)
+        return;
+    FILE *stream = profiling_file;
+
     g_return_if_fail(profile != NULL);
 
     g_mutex_lock(profile->lock);