bit4sat/entrypoint.sh at 8808bc69f38a58ac9502c845a87a1a5e0e9a3122 - bit4sat - blob42 source forge

You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

6 lines

47 B

Bash

Raw Blame History

 #!/bin/bash
 set -e
 go build -v
 exec ./bit4sat