Update devcontainer.json (#7056)

Hack23 · Jan 18, 2025 · 41a738c · 41a738c
1 parent 23f5f8e
commit 41a738c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
@@ -89,7 +89,6 @@
             "-B",
             "clean",
             "install",
-            "-Pall-modules",
             "-DforkMode=once",
             "-pl",
             "!cia-dist-deb",
@@ -114,7 +113,6 @@
           "args": [
             "clean",
             "install",
-            "-Pall-modules",
             "-pl",
             "!cia-dist-deb",
             "-DskipTests",