updated makefile

This commit is contained in:
2017-11-27 11:12:53 -05:00
parent 5afc1653ce
commit 28613e359c
2 changed files with 5 additions and 3 deletions
Generated
+1 -1
View File
@@ -99,6 +99,6 @@
[solve-meta]
analyzer-name = "dep"
analyzer-version = 1
inputs-digest = "da431c6a83775d7e13cd6b8df3fc0a681f75ad5bffac662a45b8b36990705c6e"
inputs-digest = "b46b195c8834e4eaf1c07958f9b06af7453db264d083a100a6e2b2a91725a7d6"
solver-name = "gps-cdcl"
solver-version = 1
+4 -2
View File
@@ -1,6 +1,8 @@
run: compile
../../../../bin/herald
worker:
go run cmd/herald-worker/main.go
process:
go run cmd/herald-worker/main.go
worker: compile
../../../../bin/herald-worker