From 64e7b3bbb6a045e671255e3dd93101a88d2c58f3 Mon Sep 17 00:00:00 2001 From: Lucy Cifferello <12953208+elvece@users.noreply.github.com> Date: Sun, 20 Feb 2022 21:47:42 -0500 Subject: [PATCH] rebuild when health check changes and discard curl output --- Makefile | 2 +- check-web.sh | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/Makefile b/Makefile index d1e79eb..a9d2e13 100644 --- a/Makefile +++ b/Makefile @@ -19,7 +19,7 @@ clean: hello-world.s9pk: manifest.yaml assets/compat/config_spec.yaml assets/compat/config_rules.yaml image.tar instructions.md $(ASSET_PATHS) embassy-sdk pack -image.tar: Dockerfile docker_entrypoint.sh hello-world/target/aarch64-unknown-linux-musl/release/hello-world +image.tar: Dockerfile docker_entrypoint.sh check-web.sh hello-world/target/aarch64-unknown-linux-musl/release/hello-world DOCKER_CLI_EXPERIMENTAL=enabled docker buildx build --tag start9/hello-world/main:$(VERSION) --platform=linux/arm64 -o type=docker,dest=image.tar . hello-world/target/aarch64-unknown-linux-musl/release/hello-world: $(HELLO_WORLD_SRC) diff --git a/check-web.sh b/check-web.sh index 6f43e40..7d8c88b 100644 --- a/check-web.sh +++ b/check-web.sh @@ -1,10 +1,10 @@ -#!/bin/bash +#!/bin/sh DURATION=$(/dev/null RES=$? if test "$RES" != 0; then echo "Web interface is unreachable" >&2