From 981cf854fb2ada6f0401e991abf5f4d5ae92ff10 Mon Sep 17 00:00:00 2001 From: Alex Ellis Date: Fri, 3 Nov 2017 15:56:43 +0000 Subject: [PATCH] Remove old build script Signed-off-by: Alex Ellis --- gateway/build.armhf.sh | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100755 gateway/build.armhf.sh diff --git a/gateway/build.armhf.sh b/gateway/build.armhf.sh deleted file mode 100755 index 3c9a7a29..00000000 --- a/gateway/build.armhf.sh +++ /dev/null @@ -1,13 +0,0 @@ -#!/bin/sh -echo Building functions/gateway:build-armhf - -docker build --build-arg https_proxy=$https_proxy --build-arg http_proxy=$http_proxy \ - -t functions/gateway:build-armhf . -f Dockerfile.build.armhf - -docker create --name gateway_extract functions/gateway:build-armhf echo -docker cp gateway_extract:/go/src/github.com/openfaas/faas/gateway/app ./gateway -docker rm -f gateway_extract - -echo Building functions/gateway:latest-armhf-dev - -docker build -t functions/gateway:latest-armhf-dev .