* call DefaultReplacements for #WRITE and #INCLUDE, resolves #28315

git-svn-id: trunk@31263 -
This commit is contained in:
florian 2015-08-02 20:45:49 +00:00
parent 9a55e8fa3c
commit 29ba426fcc

View File

@ -2674,6 +2674,7 @@ begin
if (s='WRITE') then
begin
Delete(opts,1,1);
DefaultReplacements(opts);
WriteLn(opts);
Option_read:=true;
end
@ -2681,6 +2682,7 @@ begin
if (s='INCLUDE') then
begin
Delete(opts,1,1);
DefaultReplacements(opts);
Interpret_file(opts);
Option_read:=true;
end