From 75b827f84689ff9cb2edef0d90dc06a0af4bac47 Mon Sep 17 00:00:00 2001
From: Cedric Roux <cedric.roux@eurecom.fr>
Date: Tue, 15 Mar 2016 18:44:00 +0100
Subject: [PATCH] don't accept spaces at end of lines in the messages' file
---
genids.c | 5 +++++
1 file changed, 5 insertions(+)
diff --git a/genids.c b/genids.c
index 47383eccf3..734c506368 100644
--- a/genids.c
+++ b/genids.c
@@ -135,6 +135,11 @@ int main(int n, char **v)
get_line(in, &name, &value);
if (name == NULL) break;
printf("name '%s' value '%s'\n", name, value);
+ if (isspace(value[strlen(value)-1])) {
+ printf("bad value '%s' (no space at the end please!)\n", value);
+ unlink(out_name);
+ exit(1);
+ }
if (!strcmp(name, "ID")) {
if (!new_unique_id(value)) { unlink(out_name); exit(1); }
fprintf(out, "#define T_%s T_ID(%d)\n", value, n);
--
2.26.2