found segfault member

2016-06-17 01:01:59 -04:00
parent 3f89cb1e37
commit 59f5c6f667
2 changed files with 8 additions and 6 deletions
--- a/captain.sh
+++ b/captain.sh
@@ -97,7 +97,7 @@ else
                        echo "no ${kraken}_bootstrap, bootstrapping using starting from cached version"
                        git checkout ${bootstrap_commits[$cached_index]}
                        cp "../cached_builds/${bootstrap_commits[$cached_index]}/kraken.krak.c" "./"
-                        cc kraken.krak.c -O3 -o kraken_bootstrap
+                        cc kraken.krak.c -lm -lpthread -O3 -o kraken_bootstrap
                    fi

                    # loop through the chain