diff options
| author | ronny | 2001-10-01 16:30:01 +0000 |
|---|---|---|
| committer | ronny | 2001-10-01 16:30:01 +0000 |
| commit | 22886adb5dc622cb76184fa8ef97e2c2234652a8 (patch) | |
| tree | 79e7eb317c55feba7e2b0717fde500d3df6c6ea2 /backendC/CleanCompilerSources/instructions.c | |
| parent | moved system independent code to new module "filesystem" (diff) | |
pass file modification times from icl module and dcl modules to backend
git-svn-id: https://svn.cs.ru.nl/repos/clean-compiler/trunk@808 1f8540f1-abd5-4d5b-9d24-4c5ce8603e2d
Diffstat (limited to 'backendC/CleanCompilerSources/instructions.c')
| -rw-r--r-- | backendC/CleanCompilerSources/instructions.c | 12 |
1 files changed, 10 insertions, 2 deletions
diff --git a/backendC/CleanCompilerSources/instructions.c b/backendC/CleanCompilerSources/instructions.c index dafb606..9e29575 100644 --- a/backendC/CleanCompilerSources/instructions.c +++ b/backendC/CleanCompilerSources/instructions.c @@ -3200,7 +3200,7 @@ void GenFieldSelectorDescriptor (SymbDef sdef,int has_gc_apply_entry) void GenModuleDescriptor ( #if WRITE_DCL_MODIFICATION_TIME - FileTime file_time + ModuleFileTime file_time #else void #endif @@ -3213,7 +3213,11 @@ void GenModuleDescriptor ( if (WriteModificationTimes){ FPutC (' ',OutFile); FPutC ('\"',OutFile); +# if CLEAN2 + FPutS (file_time,OutFile); +# else FWriteFileTime (file_time,OutFile); +# endif FPutC ('\"',OutFile); } #endif @@ -3221,7 +3225,7 @@ void GenModuleDescriptor ( void GenDepend (char *modname #if WRITE_DCL_MODIFICATION_TIME - ,FileTime file_time + ,ModuleFileTime file_time #endif ) { @@ -3235,7 +3239,11 @@ void GenDepend (char *modname if (WriteModificationTimes){ FPutC (' ',OutFile); FPutC ('\"',OutFile); +# if CLEAN2 + FPutS (file_time,OutFile); +# else FWriteFileTime (file_time,OutFile); +# endif FPutC ('\"',OutFile); } #endif |