From ee847eb86660a8d8932548a9a6b9bda0df3451f7 Mon Sep 17 00:00:00 2001
From: Collin Richards <richardscollin@gatech.edu>
Date: Tue, 19 Apr 2016 20:35:22 -0400
Subject: [PATCH] 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.
---
 captain.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/captain.sh b/captain.sh
index 411b06d..06ff8e7 100755
--- 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