diff options
-rwxr-xr-x | exporters/darcs/darcs-fast-import | 2 | ||||
-rw-r--r-- | exporters/darcs/t/lib.sh | 8 |
2 files changed, 9 insertions, 1 deletions
diff --git a/exporters/darcs/darcs-fast-import b/exporters/darcs/darcs-fast-import index 576c889..fb6a7a2 100755 --- a/exporters/darcs/darcs-fast-import +++ b/exporters/darcs/darcs-fast-import @@ -109,7 +109,7 @@ class Handler: self.bug("darcs failed") def invoke_add(self, path): - self.invoke_darcs("add --boring %s" % path) + self.invoke_darcs("add --boring --case-ok %s" % path) def handle_mark(self): if self.line.startswith("mark :"): diff --git a/exporters/darcs/t/lib.sh b/exporters/darcs/t/lib.sh index ee3ec3c..c0f30c2 100644 --- a/exporters/darcs/t/lib.sh +++ b/exporters/darcs/t/lib.sh @@ -233,6 +233,14 @@ third line" | git commit -a -F - touch foo.pyc git add foo.pyc git commit -a -m "boring file" + # replace an uppercase file to a lowercase one + echo SPAM > SPAM + git add SPAM + git commit -a -m SPAM + rm SPAM + echo spam > spam + git add spam + git commit -a -m "SPAM -> spam" cd .. } |