Summary

crunch: installation fails when attempting to create a directory in a non existing path

Metadata

• Id: e3fcb4afed50fe82cc7593c8c667dc3b10715029
• Trac id: 927
• Type: defect
• Reporter: mario
• Owner: felix
• Cc:
• Status: closed
• Component: extensions
• Estimated difficulty:
• Resolution: fixed
• Priority: major
• Milestone: someday
• Version: 4.8.x
• Changetime: 2012-09-27 19:34:15 UTC
• Created: 2012-09-25 23:25:09 UTC
• Keywords: crunch

Attachments

• e3fcb4afed50fe82cc7593c8c667dc3b10715029/attachments/create-directory-and-parents.diff

Description

See http://tests.call-cc.org/master/linux/x86/2012/09/25/salmonella-report/install/crunch.html

Attached is a patch that seems to fix that problem.

Changes and comments

[2012-09-25 23:25:45 UTC] mario attached create-directory-and-parents.diff (description=#f)

[2012-09-27 19:34:15 UTC] felix changed status from new to closed

[2012-09-27 19:34:15 UTC] felix set resolution to fixed

[2012-09-27 19:34:15 UTC] felix wrote:

Thanks, see crunch 0.7.8.