Index: build_image |
diff --git a/build_image b/build_image |
index 3a7c3f1644540dd150c335286a23df39e405b8a3..4bb7532aa8d9b17b1374a927275a922965ffa203 100755 |
--- a/build_image |
+++ b/build_image |
@@ -349,7 +349,7 @@ update_dev_packages() { |
# Additional changes to developer image. |
# Leave core files for developers to inspect. |
- sudo touch "${ROOT_FS_DIR}/etc/leave_core" |
+ sudo touch "${ROOT_FS_DIR}/root/.leave_core" |
# The ldd tool is a useful shell script but lives in glibc; just copy it. |
sudo cp -a "$(which ldd)" "${root_dev_dir}/usr/bin" |