patch: Merge pull request #27 from abdul-jabbar01/master

Updated Circleci configuration
real-digital · Jul 12, 2019 · c3b70cf · c3b70cf
2 parents f248a5a + 6a149dc
commit c3b70cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.circleci/config.yml b/.circleci/config.yml
@@ -11,7 +11,7 @@ jobs:
       - run: go get -u github.com/stevenmatthewt/semantics
       - run:
           name: cross compile
-          command: gox -os="linux darwin windows" -arch="amd64 386" -output="dist/{{.OS}}/{{.Arch}}/pligos"
+          command: CGO_ENABLED=0 gox -os="linux darwin windows" -arch="amd64 386" -output="dist/{{.OS}}/{{.Arch}}/pligos"
 
       - add_ssh_keys
       - run: