| 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"
|
|
|