Remove interactive docker when not necessary.

OrbitNTNU · Jan 27, 2024 · ff4dff4 · ff4dff4
1 parent 1da6fdc
commit ff4dff4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/verilator-docker.sh b/verilator-docker.sh
@@ -14,4 +14,4 @@ docker pull verilator/verilator:4.038 > /dev/null
 project_root=$(realpath $3)
 
 # Run the docker image with the user we "made" above
-docker run -e CCACHE_DIR=/work/.ccache -ti -v ${project_root}:/work -w /work/$2 --user $(id -u):$(id -g) verilator/verilator:$1 "${@:4}"
+docker run -e CCACHE_DIR=/work/.ccache -v ${project_root}:/work -w /work/$2 --user $(id -u):$(id -g) verilator/verilator:$1 "${@:4}"
diff --git a/verilator.mk b/verilator.mk
@@ -4,7 +4,7 @@ PROJECT_ROOT ?= ${VERILATOR_ROOT}
 # Find the path between the top level folder and the source code folder
 PATH_FROM_ROOT_TO_SRC = $(shell p=$(shell pwd); g=$${p\#\#*/${MODULE_FOLDER}}; echo $$g)
 
-VERILATOR := $(VERILATOR_ROOT)/verilator-docker.sh 
+VERILATOR := $(VERILATOR_ROOT)/verilator-docker.sh
 VERILATOR_ARGS := 4.038 ${MODULE_FOLDER}${PATH_FROM_ROOT_TO_SRC} ${PROJECT_ROOT}
 VERILATOR_ARGS_LINT     := --lint-only -Wall
 VERILATOR_ARGS_EMULATOR := --cc --build --exe --trace