# HG changeset patch # User Adam Chlipala # Date 1221764461 14400 # Node ID 3c0feecd057da86ee2c2bc1a0381a90e1b85ce57 # Parent ca98644af384f3497751144cea7c789fca81e913 Force existence of bin and clib directories