diff options
author | Paul Tan <pyokagan@gmail.com> | 2015-06-14 16:41:50 +0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2015-06-15 12:40:49 -0700 |
commit | 85b343245b495a47f937007e1c0650f2070b9b4f (patch) | |
tree | af7600866200705159dcffec6f35b3ae99c43cf5 /Documentation/technical | |
parent | ffad85c599307441323de565c3fafde227e04a8f (diff) | |
download | git-85b343245b495a47f937007e1c0650f2070b9b4f.tar.gz git-85b343245b495a47f937007e1c0650f2070b9b4f.tar.xz |
argv-array: implement argv_array_pushv()
When we have a null-terminated array, it would be useful to convert it
or append it to an argv_array for further manipulation.
Implement argv_array_pushv() which will push a null-terminated array of
strings on to an argv_array.
Signed-off-by: Paul Tan <pyokagan@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/technical')
-rw-r--r-- | Documentation/technical/api-argv-array.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/technical/api-argv-array.txt b/Documentation/technical/api-argv-array.txt index 1a797812f..8076172a0 100644 --- a/Documentation/technical/api-argv-array.txt +++ b/Documentation/technical/api-argv-array.txt @@ -46,6 +46,9 @@ Functions Format a string and push it onto the end of the array. This is a convenience wrapper combining `strbuf_addf` and `argv_array_push`. +`argv_array_pushv`:: + Push a null-terminated array of strings onto the end of the array. + `argv_array_pop`:: Remove the final element from the array. If there are no elements in the array, do nothing. |