diff Dockerfile @ 52:1adde248a61f default tip

merge
author anatofuz <anatofuz@cr.ie.u-ryukyu.ac.jp>
date Fri, 07 Jun 2019 17:30:15 +0900
parents f8ce1013b84d ccd59cd9ee45
children
line wrap: on
line diff
--- a/Dockerfile	Sun Mar 24 20:18:59 2019 +0900
+++ b/Dockerfile	Fri Jun 07 17:30:15 2019 +0900
@@ -2,8 +2,8 @@
 RUN apt-get update -y
 RUN apt-get remove gdb -y
 RUN apt-get install gcc-arm-none-eabi gdb-arm-none-eabi qemu-system-arm mercurial -y
-WORKDIR /src
-RUN hg clone http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/innparusu/xv6-rpi/
-WORKDIR /src/xv6-rpi/src
+WORKDIR /code
+RUN hg clone http://www.cr.ie.u-ryukyu.ac.jp/hg/Members/anatofuz/xv6-rpi-docker
+WORKDIR /code/xv6-rpi-docker/src
 RUN make
 CMD /bin/bash