Ramon Roche ba9b23c2d1
docker: new build interface script
The new build script can pass arguments directly to ubuntu.sh when
building, this is good for when you want a special build for example
when you don't need RTPS or Simulation

```
./Tools/docker_build.sh --no-sim-tools
```

In the future it can be extended if needed to generate multiple docker
images based on the same Dockerfile, if for example we only want to
build arm targets
2022-08-02 09:52:55 -07:00
..
2021-10-19 13:29:26 -04:00
2022-07-27 14:33:16 +10:00
2022-08-02 09:52:55 -07:00
2022-06-04 07:40:29 +02:00
2021-10-19 13:29:26 -04:00
2021-10-19 13:29:26 -04:00
2022-07-27 14:33:16 +10:00
2020-09-15 09:30:16 +02:00
2022-06-09 09:52:34 +02:00
2020-10-17 11:36:36 -04:00