|
@@ -1854,19 +1854,20 @@ var
|
|
Writeln(ppufile.CRCFile,'CRC of getppucrc of ',ppufilename,
|
|
Writeln(ppufile.CRCFile,'CRC of getppucrc of ',ppufilename,
|
|
' defsgeneration=',defsgeneration);
|
|
' defsgeneration=',defsgeneration);
|
|
{$endif def Test_Double_checksum_write}
|
|
{$endif def Test_Double_checksum_write}
|
|
|
|
+ { extra header (sub version, module flags) }
|
|
|
|
+ writeextraheader;
|
|
|
|
+
|
|
{ first the (JVM) namespace }
|
|
{ first the (JVM) namespace }
|
|
if assigned(namespace) then
|
|
if assigned(namespace) then
|
|
begin
|
|
begin
|
|
ppufile.putstring(namespace^);
|
|
ppufile.putstring(namespace^);
|
|
ppufile.writeentry(ibjvmnamespace);
|
|
ppufile.writeentry(ibjvmnamespace);
|
|
end;
|
|
end;
|
|
|
|
+
|
|
{ the unitname }
|
|
{ the unitname }
|
|
ppufile.putstring(realmodulename^);
|
|
ppufile.putstring(realmodulename^);
|
|
ppufile.writeentry(ibmodulename);
|
|
ppufile.writeentry(ibmodulename);
|
|
|
|
|
|
- { extra header (sub version, module flags) }
|
|
|
|
- writeextraheader;
|
|
|
|
-
|
|
|
|
ppufile.putset(tppuset1(moduleoptions));
|
|
ppufile.putset(tppuset1(moduleoptions));
|
|
if mo_has_deprecated_msg in moduleoptions then
|
|
if mo_has_deprecated_msg in moduleoptions then
|
|
ppufile.putstring(deprecatedmsg^);
|
|
ppufile.putstring(deprecatedmsg^);
|