diff options
Diffstat (limited to '2/Containerfile')
| -rw-r--r-- | 2/Containerfile | 13 |
1 files changed, 0 insertions, 13 deletions
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 - |