Update to MMTk core PR #1176 (#87)

Co-authored-by: mmtkgc-bot <[email protected]>
mmtk · Jul 26, 2024 · 295fefa · 295fefa
1 parent 6a1b56b
commit 295fefa
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/mmtk/Cargo.lock b/mmtk/Cargo.lock
diff --git a/mmtk/Cargo.toml b/mmtk/Cargo.toml
@@ -27,10 +27,10 @@ log = "*"
 # - change branch
 # - change repo name
 # But other changes including adding/removing whitespaces in commented lines may break the CI.
-mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "a3a72f8e5795678eff06fdc1524f0b429a62ccc0" }
+mmtk = { git = "https://github.com/mmtk/mmtk-core.git", rev = "9a49d6a938f0c3143750e8415622dfe679b3ddb8" }
 # Uncomment the following and fix the path to mmtk-core to build locally
 # mmtk = { path = "../repos/mmtk-core" }
 
 [features]
-default = ["mmtk/code_space", "mmtk/ro_space"]
+default = ["mmtk/code_space", "mmtk/ro_space", "mmtk/exec_permission_on_all_spaces"]
 nogc = []