Check for valid output_filename before trying to use it.
authorChris Michael <cp.michael@samsung.com>
Tue, 2 Jul 2013 08:42:28 +0000 (09:42 +0100)
committerChris Michael <cp.michael@samsung.com>
Tue, 2 Jul 2013 08:43:23 +0000 (09:43 +0100)
NB: Fixes klockwork issue.

Signed-off-by: Chris Michael <cp.michael@samsung.com>
src/bin/edje/edje_pick.c

index c0ea301..42e672c 100644 (file)
@@ -1385,7 +1385,8 @@ main(int argc, char **argv)
    if (sets)
      free(sets);
 
-   printf("Wrote <%s> output file.\n", output_filename);
+   if (output_filename)
+     printf("Wrote <%s> output file.\n", output_filename);
 
    return _edje_pick_cleanup(inp_files, out_file, EDJE_PICK_NO_ERROR);
 }