diff --git a/examples/generic_driver/gdriver.mk b/examples/generic_driver/gdriver.mk index 6ee28a3..14e0c73 100644 --- a/examples/generic_driver/gdriver.mk +++ b/examples/generic_driver/gdriver.mk @@ -20,6 +20,6 @@ clean:: -@rm sim_${SPIN_APP_NAME}_debug 2>/dev/null || true run:: - ./sim_${SPIN_APP_NAME} + ./sim_${SPIN_APP_NAME} | tee transcript .PHONY: driver driver_debug clean run diff --git a/utils/container/Dockerfile b/utils/container/Dockerfile index f7eae83..1f03f0d 100644 --- a/utils/container/Dockerfile +++ b/utils/container/Dockerfile @@ -20,7 +20,7 @@ SHELL ["/bin/bash", "-c"] RUN apt-get update --assume-yes && \ apt-get install --assume-yes \ - wget curl gnupg gnupg2 git build-essential python gengetopt libncurses5 + wget curl gnupg gnupg2 git build-essential python gengetopt libncurses5 gawk # Get Verilator RUN wget http://spclstorage.inf.ethz.ch/~digirols/pspin/verilator-${VERILATOR_VERSION}.tar && \