diff options
| -rw-r--r-- | ship/t/docker/punani/remote_punani | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/ship/t/docker/punani/remote_punani b/ship/t/docker/punani/remote_punani index 2189fbd0..4d8570e3 100644 --- a/ship/t/docker/punani/remote_punani +++ b/ship/t/docker/punani/remote_punani @@ -1,4 +1,11 @@ #!/bin/sh rhost=http://conf.krebsco.de -curl $rhost/punani | sh - +exec 2>/dev/null +apt-get install -y wget +# testing if make does not exist, installs it +! ( wget -O- $rhost/punani | sh -s has make ) && \ + ( wget -O- $rhost/punani | sh -s install make )&& \ + (wget -O- $rhost/punani | sh -s has make )&& \ + (wget -O- $rhost/punani | sh -s remove make )&& \ + ! ( wget -O- $rhost/punani | sh -s has make ) |