Merge pull request #3 from richardscollin/master

Fix captain.sh bootstrap installation
2016-04-21 01:25:53 -04:00
parent 2cd43e5a21 ee847eb866
commit 5a7a1d3b3c
1 changed files with 3 additions and 0 deletions
--- a/captain.sh
+++ b/captain.sh
@@ -51,6 +51,9 @@ else
                ../build/kraken kraken.krak
                popd
                popd
+                pushd deprecated_compiler/build_kraken/kraken
+                sh kraken.sh
+                popd
                cp deprecated_compiler/build_kraken/kraken/kraken ../${kraken}_bootstrap
                popd
                # Now make