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