summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xexporters/darcs/darcs-fast-import2
-rw-r--r--exporters/darcs/t/lib.sh8
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 ..
}