From f6e36bf361c587e0dbb2f0c71f5d22a7cf7f4f42 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Fri, 29 May 2009 11:20:29 +0100 Subject: Fix mkdir-p if directory exists (RHBZ#503133). --- src/generator.ml | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) (limited to 'src/generator.ml') diff --git a/src/generator.ml b/src/generator.ml index f30d7798..9f019048 100755 --- a/src/generator.ml +++ b/src/generator.ml @@ -1002,7 +1002,14 @@ Create a directory named C."); ["is_dir"; "/new/foo"]]; InitBasicFS, Always, TestOutputTrue [["mkdir_p"; "/new/foo/bar"]; - ["is_dir"; "/new"]]], + ["is_dir"; "/new"]]; + (* Regression tests for RHBZ#503133: *) + InitBasicFS, Always, TestRun + [["mkdir"; "/new"]; + ["mkdir_p"; "/new"]]; + InitBasicFS, Always, TestLastFail + [["touch"; "/new"]; + ["mkdir_p"; "/new"]]], "create a directory and parents", "\ Create a directory named C, creating any parent directories -- cgit