-
Sean Farley authored
This allows us to easily add more ubuntu docker targets (which following patches will do). Also, we no longer need the mkdir command.
e63dfbbdbd07
This allows us to easily add more ubuntu docker targets (which following patches will do). Also, we no longer need the mkdir command.