From 891595b9307eb2695411d8e32e4addd9cd927ec8 Mon Sep 17 00:00:00 2001 From: lonkaars Date: Sun, 12 May 2024 15:21:19 +0200 Subject: rename folders --- 2/Containerfile | 13 ------------- 1 file changed, 13 deletions(-) delete mode 100644 2/Containerfile (limited to '2/Containerfile') diff --git a/2/Containerfile b/2/Containerfile deleted file mode 100644 index cc368d8..0000000 --- a/2/Containerfile +++ /dev/null @@ -1,13 +0,0 @@ -from docker.io/library/debian:sid - -run apt-get update - -# packages (in separate steps to optimize caching) -run apt-get install -y gcc-arm-linux-gnueabi -run apt-get install -y gcc -run apt-get install -y make -run apt-get install -y git - -# container directory on which the working directory on host is mounted -workdir /workdir - -- cgit v1.2.3