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 8860ca1..5a8a984 100644 (file)
--- 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) {