Remove unused build flags (#4)

Apodini · Aug 24, 2021 · 80d3ca6 · 80d3ca6
1 parent 1be772b
commit 80d3ca6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/.vscode/tasks.json b/.vscode/tasks.json
@@ -4,7 +4,7 @@
         {
             "label": "build",
             "type": "shell",
-            "command": "swift build -Xswiftc -Xfrontend -Xswiftc -sil-verify-none",
+            "command": "swift build",
             "group": {
                 "kind": "build",
                 "isDefault": true
@@ -16,7 +16,7 @@
         {
             "label": "buildtests",
             "type": "shell",
-            "command": "swift build -Xswiftc -Xfrontend -Xswiftc -sil-verify-none --build-tests"
+            "command": "swift build --build-tests"
         }
     ]
 }
diff --git a/Dockerfile b/Dockerfile
@@ -25,7 +25,7 @@ WORKDIR /build
 COPY . .
 
 # Build everything, with optimizations
-RUN swift build -Xswiftc -Xfrontend -Xswiftc -sil-verify-none -c release
+RUN swift build -c release
 
 # Switch to the staging area
 WORKDIR /staging