From: Ingmar Wirths <ingmar@ipd.info.uni-karlsruhe.de>
Date: Tue, 24 Jul 2012 13:10:17 +0000 (+0200)
Subject: Allow the first line to be a comment.
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=3dff5ea08f916551668dc18b449327a8a593bc9f;p=libfirm

Allow the first line to be a comment.

A comments starts with '#'.
---

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) {