Changeset 00e0c9cc

Timestamp:

08/18/2023 01:04:46 PM (9 months ago)

Author:

Xi Ruoyao <xry111@…>

Branches:

12.0, 12.1, ken/TL2024, ken/tuningfonts, lazarus, plabs/newcss, python3.11, rahul/power-profiles-daemon, renodr/vulkan-addition, trunk, xry111/llvm18

Children:

7a66d3b

Parents:

1ce321d

git-author:

Xi Ruoyao <xry111@…> (08/18/2023 01:02:35 PM)

git-committer:

Xi Ruoyao <xry111@…> (08/18/2023 01:04:46 PM)

Message:

rust: Remove spurious ".old" files

This is a after-tag change but I suppose it's OK. I don't think
anything will ever invoke a rustc utility with ".old" name.

File:

• general/prog/rust.xml (modified) (1 diff)

general/prog/rust.xml

@@ -433 +433 @@
 <screen role='root'><userinput>python3 ./x.py install</userinput></screen>
 
+    <!-- TODO: Report to upstream if this persists in the next release -->
+    <para>
+      The building system attempts to install some files twice, and during
+      the second attempt it renames the old one (installed in the first
+      attempt) with the <filename class='extension'>.old</filename> suffix.
+      As the &root; user, remove these files:
+    </para>
+
+    <screen role='root'><userinput>find /opt/rustc-&rust-version; -name "*.old" -delete</userinput></screen>
+
     <para>
       Still as the &root; user, symlink a <application>Zsh</application>