Fix captain.sh bootstrap installation

Trying to copy a file that didn't exist yet caused the script to break when running it the first time.
2016-04-19 20:35:22 -04:00
1 parent 8d0996fb47
commit ee847eb866
@@ -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