[gnome-builder] runner: fix G-I docs

[Christian Hergert <chergert src gnome org>]

commit 8305b78a72fcab024ef5b26168d4f02ce24e4f29
Author: Christian Hergert <chergert redhat com>
Date:   Sun Jun 3 23:27:44 2018 -0700

    runner: fix G-I docs

 src/libide/runner/ide-runner.c | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)
---
diff --git a/src/libide/runner/ide-runner.c b/src/libide/runner/ide-runner.c
index 650556313..18a777e40 100644
--- a/src/libide/runner/ide-runner.c
+++ b/src/libide/runner/ide-runner.c
@@ -1395,7 +1395,7 @@ ide_runner_set_cwd (IdeRunner   *self,
 /**
  * ide_runner_push_args:
  * @self: a #IdeRunner
- * @args: an array of args to add
+ * @args: (array zero-terminated=1) (element-type utf8) (nullable): the arguments
  *
  * Helper to call ide_runner_append_argv() for every argument
  * contained in @args.
@@ -1407,7 +1407,9 @@ ide_runner_push_args (IdeRunner           *self,
                       const gchar * const *args)
 {
   g_return_if_fail (IDE_IS_RUNNER (self));
-  g_return_if_fail (args != NULL);
+
+  if (args == NULL)
+    return;
 
   for (guint i = 0; args[i] != NULL; i++)
     ide_runner_append_argv (self, args[i]);