diff --git a/spacecruft-ctsi-machine-emulator-sdk-build b/spacecruft-ctsi-machine-emulator-sdk-build index 05c2e7c..f39a5db 100755 --- a/spacecruft-ctsi-machine-emulator-sdk-build +++ b/spacecruft-ctsi-machine-emulator-sdk-build @@ -12,7 +12,13 @@ set -x sudo apt-get update sudo apt-get install -y build-essential automake libtool patchelf wget git libreadline-dev libboost-container-dev libboost-program-options-dev libboost-serialization-dev ca-certificates +sudo docker pull cartesi/linux-kernel +sudo docker pull cartesi/toolchain +sudo docker pull cartesi/rootfs + cd ~/devel/machine-emulator-sdk +git reset --hard HEAD +git checkout master git pull date time \