Index: build_image |
diff --git a/build_image b/build_image |
index a1b162400cfb466be96c97f837493c509090507c..3a7c3f1644540dd150c335286a23df39e405b8a3 100755 |
--- a/build_image |
+++ b/build_image |
@@ -348,6 +348,9 @@ update_dev_packages() { |
# Additional changes to developer image. |
+ # Leave core files for developers to inspect. |
+ sudo touch "${ROOT_FS_DIR}/etc/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" |