* fixed comparing ppu time with source time (bug 10443)

git-svn-id: trunk@9776 -
This commit is contained in:
Vincent Snijders 2008-01-16 18:57:43 +00:00
parent 41cce2fe42
commit 9de3695061

View File

@ -765,7 +765,7 @@ uses
main_dir:=ExtractFilePath(hs); main_dir:=ExtractFilePath(hs);
temp:=' time '+filetimestring(source_time); temp:=' time '+filetimestring(source_time);
if (orgfiletime<>-1) and if (orgfiletime<>-1) and
(source_time<>orgfiletime) then (source_time>orgfiletime) then
begin begin
do_compile:=true; do_compile:=true;
recompile_reason:=rr_sourcenewer; recompile_reason:=rr_sourcenewer;