devenv_run: fix
@@ -7,7 +7,7 @@ if ! docker ps -f name=lucet | grep -Fq lucet ; then
fi
if [ $# -eq 0 ]; then
- docker exec -it -w "$lucet_workdir" lucet /bin/bash
+ docker exec -it -w "$HOST_LUCET_MOUNT_POINT" lucet /bin/bash
else
- docker exec -t -w "$lucet_workdir" lucet $@
+ docker exec -t -w "$HOST_LUCET_MOUNT_POINT" lucet $@
fi
