diff options
author | Larry Du <ldu0894@gmail.com> | 2025-02-17 06:43:59 +0000 |
---|---|---|
committer | Larry Du <ldu0894@gmail.com> | 2025-02-17 06:43:59 +0000 |
commit | 628791c6ae152a1df96acd56cc16e0eff4909048 (patch) | |
tree | 859453def5810b204b3ac0c2fc8cdc2c33cf31b4 /docker_tools/build.sh | |
parent | 8a4942ca96bc32c3f273a26ceda536adadac0615 (diff) | |
parent | bed08974f66c5949d8bf07da563dcf426f47c395 (diff) | |
download | riscv-processor-628791c6ae152a1df96acd56cc16e0eff4909048.tar.gz |
Merge branch 'larry/rename' into 'main'
refactor: Renamed 'tools' to 'docker_tools'
See merge request falsestatement/riscv_linux!1
Diffstat (limited to 'docker_tools/build.sh')
-rw-r--r-- | docker_tools/build.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docker_tools/build.sh b/docker_tools/build.sh new file mode 100644 index 0000000..75a00cd --- /dev/null +++ b/docker_tools/build.sh @@ -0,0 +1 @@ +docker build -t devbox:latest . |