removing binary before pushing it to the remote because it failed sommetimes and could not overwrite the binarys on the remote

This commit is contained in:
2026-01-04 20:00:05 +01:00
parent b55eb81ccc
commit d6ef884325

View File

@@ -33,6 +33,7 @@ def build [config] {
def push [config] { def push [config] {
build $config build $config
ssh ($config | get target_machine) "mkdir -p bin && rm -f bin/snooze-pal"
scp result/bin/snooze-pal ($config | get target_machine):bin/snooze-pal scp result/bin/snooze-pal ($config | get target_machine):bin/snooze-pal
} }