From 830b7b68a9edf785978dcf919fe6791e6e020dbe Mon Sep 17 00:00:00 2001
From: Loup Vaillant <loup@loup-vaillant.fr>
Date: Sun, 23 Feb 2020 15:50:23 +0100
Subject: [PATCH] vector_to_header now handles leading empty lines

---
 tests/gen/vector_to_header.c | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/tests/gen/vector_to_header.c b/tests/gen/vector_to_header.c
index a043398..ad60109 100644
--- a/tests/gen/vector_to_header.c
+++ b/tests/gen/vector_to_header.c
@@ -73,6 +73,11 @@ int main(int argc, char** argv)
     int   c      = getchar();
     int   nb_vec = 0;
 
+    // seek first line
+    while (!is_digit(c) && c != ':' && c != EOF) {
+        c = getchar();
+    }
+
     while (c != EOF) {
         int size = 0;
         if (c == ':') {
-- 
2.47.3