diff options
| author | Michael Williamson <mike@zwobble.org> | 2023-12-03 22:42:41 +0000 |
|---|---|---|
| committer | Michael Williamson <mike@zwobble.org> | 2023-12-03 22:42:41 +0000 |
| commit | bd28cf3a13da913dba4ced5ba9f1f165d787e3ba (patch) | |
| tree | bfb3763de0f05016e86ed29eeca21354154ef1bf /src/main/java/org/shedlang/compiler/ShedCompiler.java | |
| parent | 1812ae776a4e1906b20c7845e17d8a0e103eb275 (diff) | |
Write target name instead of backend name to target directory
Diffstat (limited to 'src/main/java/org/shedlang/compiler/ShedCompiler.java')
| -rw-r--r-- | src/main/java/org/shedlang/compiler/ShedCompiler.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/java/org/shedlang/compiler/ShedCompiler.java b/src/main/java/org/shedlang/compiler/ShedCompiler.java index f07ead28..168db252 100644 --- a/src/main/java/org/shedlang/compiler/ShedCompiler.java +++ b/src/main/java/org/shedlang/compiler/ShedCompiler.java @@ -71,7 +71,7 @@ public class ShedCompiler { config, namespaces, typeInfos, - config.targetDir().resolve(backend.name()) + config.targetDir().resolve(backend.targetName()) ); } |