summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Rustan Leino <leino@microsoft.com>2011-05-11 17:30:32 -0700
committerGravatar Rustan Leino <leino@microsoft.com>2011-05-11 17:30:32 -0700
commitd56c8e6ea80eb5a501bda731fcc0047749df51e7 (patch)
tree460eb0f9f88502041aa45e06549928ab0250ae83
parent4b433ad725a3b3363c1a10cbd3146bee24489ebb (diff)
More files for Hg to ignore
-rw-r--r--.hgignore4
1 files changed, 3 insertions, 1 deletions
diff --git a/.hgignore b/.hgignore
index a3ce089b..ccf5384a 100644
--- a/.hgignore
+++ b/.hgignore
@@ -7,9 +7,11 @@ syntax: regexp
^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
^Binaries/BytecodeTranslator$
^BCT/Binaries/.*$
+^Chalice/bin/
Test/([^/]*)/Output
Test/([^/]*)/([^/]*)\.sx
-Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/out\.cs
+Test/(dafny0|dafny1|VSI-Benchmarks|vacid0|VSComp2010)/(out\.cs|.*\.dll|.*\.pdb|.*\.exe)
+Test/desktop/
^.*~$
syntax: glob
BCT/TestResults/