obstack: import obstack_finish0 from master

* src/system.h (obstack_finish0): New.

Signed-off-by: Akim Demaille <akim@lrde.epita.fr>

diff --git a/src/system.h b/src/system.h
index a8b0f5847b755b458d26f4880747bb23a6de7a72..3a82e7f3fcde9ae94760531345c15cdf2c29bbbf 100644 (file)
--- a/src/system.h
+++ b/src/system.h
@@ -202,7 +202,10 @@ typedef size_t uintptr_t;
   } while (0)
 
 
+/* Append the ending 0, finish Obs, and return the string.  */
 
+# define obstack_finish0(Obs)                           \
+  (obstack_1grow (Obs, '\0'), (char *) obstack_finish (Obs))
 
 
 /*-----------------------------------------.