Dockerfiles: Rename working directory from "/build" to "/work"

Since the directory will contain both sources and build, this commit generalizes its name.
2025-10-31 08:06:23 +01:00 · 2016-07-16 01:12:58 -04:00
parent 414812088c
commit 96f3514bf2
7 changed files with 7 additions and 7 deletions
--- a/imagefiles/dockcross
+++ b/imagefiles/dockcross
@@ -154,7 +154,7 @@ fi
 # Now, finally, run the command in a container
 #
 docker run -i -t --rm \
-    -v $PWD:/build \
+    -v $PWD:/work \
    $USER_IDS \
    $FINAL_ARGS \
    $FINAL_IMAGE "$@"