diff options
author | Maciej Barć <xgqt@gentoo.org> | 2024-05-23 23:27:08 +0200 |
---|---|---|
committer | Maciej Barć <xgqt@gentoo.org> | 2024-05-24 00:08:07 +0200 |
commit | 20b60a71991749e5a0ab27602c9bc836aa39939e (patch) | |
tree | 15f6d7f1753e9b7a8d9ab5cfc3404bc1f4f97c97 /app-shells/platyps | |
parent | dev-scheme/chez: use edo instead of edob (diff) | |
download | gentoo-20b60a71991749e5a0ab27602c9bc836aa39939e.tar.gz gentoo-20b60a71991749e5a0ab27602c9bc836aa39939e.tar.bz2 gentoo-20b60a71991749e5a0ab27602c9bc836aa39939e.zip |
app-shells/platyps: use edo instead of edob
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Diffstat (limited to 'app-shells/platyps')
-rw-r--r-- | app-shells/platyps/platyps-0.14.2.ebuild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/app-shells/platyps/platyps-0.14.2.ebuild b/app-shells/platyps/platyps-0.14.2.ebuild index 7fc3c416646b..630c7987078b 100644 --- a/app-shells/platyps/platyps-0.14.2.ebuild +++ b/app-shells/platyps/platyps-0.14.2.ebuild @@ -342,7 +342,7 @@ src_compile() { -Configuration "${DOTNET_PKG_CONFIGURATION}" -DotnetCli "${DOTNET_PKG_EXECUTABLE}" ) - edob pwsh -NoProfile -NonInteractive ./build.ps1 "${ps1opts[@]}" + edo pwsh -NoProfile -NonInteractive ./build.ps1 "${ps1opts[@]}" } src_install() { |