Pedro Gonçalves
|
abe517027c
|
docker/Makefile: fix bash style.
|
2020-07-31 12:45:09 +01:00 |
|
Pedro Gonçalves
|
ca8575fcb3
|
docker/Dockerfile: remove unnecessary packages/commands.
|
2020-07-31 12:44:27 +01:00 |
|
Pedro Gonçalves
|
193ec8a889
|
docker: update debian version to 9, add option clean and delete_img.
|
2020-07-24 22:04:26 +01:00 |
|
Tiago Marques
|
c59222722e
|
Merge branch 'master' into feature/aries
|
2017-12-12 11:15:08 +00:00 |
|
Ricardo Martins
|
bbbd691fb3
|
docker: install kmod.
|
2017-09-28 17:58:14 +01:00 |
|
Pedro Gonçalves
|
c72e40639f
|
docker: update file to use gcc 5.4.
|
2017-08-28 14:36:27 +01:00 |
|
Ricardo Martins
|
62730377b2
|
docker: install file package.
|
2016-06-14 18:54:37 +01:00 |
|
Ricardo Martins
|
4ff07d69e0
|
docker: added script to create docker container suitable to build GLUED.
|
2016-06-03 14:23:22 +01:00 |
|