diff --git a/.github/scripts/remote-do-rtl-build.sh b/.github/scripts/remote-do-rtl-build.sh index 9cbc8531..7a988840 100755 --- a/.github/scripts/remote-do-rtl-build.sh +++ b/.github/scripts/remote-do-rtl-build.sh @@ -53,5 +53,5 @@ do export COURSIER_CACHE=$REMOTE_COURSIER_CACHE export JVM_MEMORY=10G export JAVA_TMP_DIR=$REMOTE_JAVA_TMP_DIR - make -j$REMOTE_MAKE_NPROC -C $REMOTE_MAKE_DIR FIRRTL_LOGLEVEL=info ${mapping[$key]} + make -j$REMOTE_MAKE_NPROC -C $REMOTE_MAKE_DIR ${mapping[$key]} done diff --git a/variables.mk b/variables.mk index 2511c23a..58cc85c4 100644 --- a/variables.mk +++ b/variables.mk @@ -9,7 +9,6 @@ HELP_COMPILATION_VARIABLES = \ " SBT_OPTS = set additional sbt command line options (these take the form -Dsbt.