ver

yegor256 · Mar 26, 2024 · 431fd6d · 431fd6d
1 parent 5034635
commit 431fd6d
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 8 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -51,7 +51,7 @@ RUN apt-get update -y --fix-missing \
     gawk=1:5.1.0-1ubuntu0.1 \
     git=1:2.34.1-1ubuntu1.10 \
     libxml2-utils=2.9.13+dfsg-1ubuntu0.4 \
-    build-essential \
+    build-essential=12.9ubuntu3 \
     cmake=3.22.1-1ubuntu1.22.04.2 \
     libfreetype6-dev=2.11.1+dfsg-1ubuntu0.2 \
     pkg-config=0.29.2-1ubuntu3 \

diff --git a/steps/report.sh b/steps/report.sh
@@ -24,13 +24,8 @@ set -e
 set -o pipefail
 
 if ! tlmgr --version >/dev/null 2>&1; then
-  if [ -n "${linux}" ]; then
-    PATH=$PATH:$("${LOCAL}/help/texlive-bin.sh")
-    export PATH
-  else
-    echo "Install 'TeXLive' somehow"
-    exit 1
-  fi
+  PATH=$PATH:$("${LOCAL}/help/texlive-bin.sh")
+  export PATH
 fi
 
 list=${TARGET}/temp/list-of-metrics.tex