X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Foutput%2Foptions.c;h=a212d1c63ee5190c752a7a007087df6338c47087;hb=2031b99a3f1970a0b9a840652f0aff80ec34b433;hp=f5ab6fbc87c523601a455044ccf21d05092cb8c0;hpb=cd388a78240706bfe62d3b99d3362942ce8fd925;p=pspp

diff --git a/src/output/options.c b/src/output/options.c
index f5ab6fbc87..a212d1c63e 100644
--- a/src/output/options.c
+++ b/src/output/options.c
@@ -51,8 +51,8 @@ driver_option_create (const char *driver_name, const char *name,
   struct driver_option *o = xmalloc (sizeof *o);
   o->driver_name = xstrdup (driver_name);
   o->name = xstrdup (name);
-  o->value = value != NULL ? xstrdup (value) : NULL;
-  o->default_value = default_value ? xstrdup (default_value) : NULL;
+  o->value = xstrdup_if_nonnull (value);
+  o->default_value = xstrdup_if_nonnull (default_value);
   return o;
 }