Commit 15fb12b9 15fb12b9f1d8d1f0b754320e296e023d1be73ca7 by Sergey Poznyakoff

(push_source,pop_source): Do not code

SOURCE instruction directly, use sieve_change_source() to let the
code generator know it should do it.
1 parent 53e6e1d0
......@@ -290,8 +290,7 @@ push_source (const char *name)
sieve_line_num = 1;
sieve_source_inode = st.st_ino;
sieve_code_source (sieve_filename);
sieve_code_line (sieve_line_num);
sieve_change_source ();
return 0;
}
......@@ -324,8 +323,7 @@ pop_source ()
free (context_stack);
context_stack = ctx;
sieve_code_source (sieve_filename);
sieve_code_line (sieve_line_num);
sieve_change_source ();
return 0;
}
......