From e3b30817b6cd2496df2101843cddc4cf5f04bea2 Mon Sep 17 00:00:00 2001
From: Michael Williamson <mike@zwobble.org>
Date: Sun, 29 Mar 2026 09:56:45 +0100
Subject: Generate empty object files using cranelift

---
 .../java/org/shedlang/compiler/backends/cranelift/CraneliftBackend.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/java')

diff --git a/src/main/java/org/shedlang/compiler/backends/cranelift/CraneliftBackend.java b/src/main/java/org/shedlang/compiler/backends/cranelift/CraneliftBackend.java
index d66f9a92..7a16cc44 100644
--- a/src/main/java/org/shedlang/compiler/backends/cranelift/CraneliftBackend.java
+++ b/src/main/java/org/shedlang/compiler/backends/cranelift/CraneliftBackend.java
@@ -39,7 +39,7 @@ public class CraneliftBackend {
         fbsBuilder.finish(compilationUnitOffset);
 
         // TODO: avoid the copy
-        var patioPath = partialTargetPath.withExtension("patio");
+        var patioPath = partialTargetPath.withExtension(".patio");
         Files.write(patioPath, fbsBuilder.sizedByteArray());
 
         runInheritIo(List.of(
-- 
cgit v1.2.3