commit 734afe3dd417b971eeb9b8e1552bcaa7fb487d1c
author Ivan Pilat <ivanpi@google.com> Wed Apr 08 20:50:32 2015 -0700
committer Ivan Pilat <ivanpi@google.com> Wed Apr 08 20:50:49 2015 -0700
tree 595cb358142d4a547c36ad0788e051687b4514c8
parent 19e3acaab15b7c944d4ed6615cbae10de30bd153

TBR: playground: Fix Dockerfile for bin to devtools/bin move.

https://vanadium-review.googlesource.com/#/c/9511/

Change-Id: I731e760a8262a5df2cbc78c4d595b48ebedd6354

go/src/playground/Dockerfile

diff --git a/go/src/playground/Dockerfile b/go/src/playground/Dockerfile
index 8af2303..e083a31 100644
--- a/go/src/playground/Dockerfile
+++ b/go/src/playground/Dockerfile
@@ -16,7 +16,7 @@
 ENV V23_ROOT /usr/local/vanadium
 ENV GOPATH $V23_ROOT/release/projects/playground/go
 ENV VDLPATH $GOPATH
-ENV PATH $V23_ROOT/release/projects/playground/go/bin:$V23_ROOT/release/go/bin:$V23_ROOT/bin:$PATH
+ENV PATH $V23_ROOT/release/projects/playground/go/bin:$V23_ROOT/release/go/bin:$V23_ROOT/devtools/bin:$PATH
 
 # Setup Vanadium.
 # Note: This will be cached! If you want to re-build the docker image using