fa1e4ffa7d
run kind of runs
2018-12-09 00:00:01 +00:00
5e20ba833b
build-linux and build-gem5 seem to work
2018-12-09 00:00:00 +00:00
1768421dbd
args -> kwargs
2018-12-08 00:00:01 +00:00
33af564899
bak
2018-12-08 00:00:00 +00:00
a06872241b
the docker setup is perfect
2018-11-11 00:00:02 +00:00
403d4a9d06
docker: migrate to python
2018-11-11 00:00:01 +00:00
32420eec33
download-dependencies: merge into ./build --download-dependencies
...
Reuses the module system dependencies present there.
run: make --dry-run work even when there is no out directory yet
docker: make the wrapping more intuitive
2018-11-10 00:00:02 +00:00
66939e657f
docker: fix some broken stuff from the clean setup ;-)
2018-10-28 00:00:10 +00:00
8815312cad
docker: rename rundocker to run-docker to match previous refactor
2018-09-28 00:00:00 +00:00
