aboutsummaryrefslogtreecommitdiff
path: root/backendC/CleanCompilerSources/instructions.c
diff options
context:
space:
mode:
authorronny2001-10-01 16:30:01 +0000
committerronny2001-10-01 16:30:01 +0000
commit22886adb5dc622cb76184fa8ef97e2c2234652a8 (patch)
tree79e7eb317c55feba7e2b0717fde500d3df6c6ea2 /backendC/CleanCompilerSources/instructions.c
parentmoved 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.c12
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