From 3dff5ea08f916551668dc18b449327a8a593bc9f Mon Sep 17 00:00:00 2001
From: Ingmar Wirths <ingmar@ipd.info.uni-karlsruhe.de>
Date: Tue, 24 Jul 2012 15:10:17 +0200
Subject: [PATCH] Allow the first line to be a comment.

A comments starts with '#'.
---
 ir/ir/irio.c | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/ir/ir/irio.c b/ir/ir/irio.c
index 8860ca108..5a8a98496 100644
--- a/ir/ir/irio.c
+++ b/ir/ir/irio.c
@@ -2379,6 +2379,10 @@ int ir_import_file(FILE *input, const char *inputname)
 	/* read first character */
 	read_c(env);
 
+	/* if the first line starts with '#', it contains a comment. */
+	if (env->c == '#')
+		skip_to(env, '\n');
+
 	set_optimize(0);
 
 	while (true) {
-- 
2.20.1