commit d3b579f4f76f39935d003f751f4d38feda9ab6d7
author Andy Bavier <acb@cs.princeton.edu> Wed Oct 07 18:26:44 2015 -0400
committer Andy Bavier <acb@cs.princeton.edu> Wed Oct 07 18:26:44 2015 -0400
tree 87ef063ffab21b17b3551d2506eabdd11bd923cf
parent 4464729a79118d549a85d8884afe1567dacb088a

Fix typo

xos/configurations/cord/Dockerfile.cord

diff --git a/xos/configurations/cord/Dockerfile.cord b/xos/configurations/cord/Dockerfile.cord
index 5f39b9b..51706d7 100644
--- a/xos/configurations/cord/Dockerfile.cord
+++ b/xos/configurations/cord/Dockerfile.cord
@@ -5,6 +5,6 @@
 ADD xos/configurations/common/id_rsa.pub /root/setup/padmin_public_key
 ADD xos/configurations/common/id_rsa.pub /opt/xos/observers/vcpe/vcpe_public_key
 
-CMD /usr/bin/make -C /opt/xos/configurations/devel -f Makefile.inside; /bin/bash
+CMD /usr/bin/make -C /opt/xos/configurations/cord -f Makefile.inside; /bin/bash
 
 #CMD ["/bin/bash"]