stats/extract_results.sh

changeset 15
7c63af7c9acd
parent 13
2cb7f20654e6
--- a/stats/extract_results.sh	Sun Oct 04 16:30:24 2026 -0500
+++ b/stats/extract_results.sh	Tue Oct 06 00:47:42 2026 -0500
@@ -64,23 +64,27 @@
             cp ${src2}/$file ${dest}/aux2_$file
         done
     fi
-    (cd $dest; pdflatex -jobname="$job" '\def\maxiter{'$iter'}\input{../plotnew}')
+    if test "$GEN_LATEX" = true; then
+        (cd $dest; pdflatex -jobname="$job" '\def\maxiter{'$iter'}\input{../plotnew}')
+    fi
 }
 
 for i in "$@"; do
     echo "Generating ${i}…"
-    generate "$GEN_MANY_PARTIAL" "$i" &
+    generate "$GEN_PARTIAL" "$i" &
 done
 
 wait
 
-files=()
-for i in "$@"; do
-    fn="$tmp/$i/$i.pdf"
-    if test -f "$fn"; then
-        files+=("$fn")
-    fi
-done
-#open "${files[@]}"
-echo "${files[@]}"
-pdfjam -o fused.pdf "${files[@]}"
+if test "$GEN_LATEX" = true; then
+    files=()
+    for i in "$@"; do
+        fn="$tmp/$i/$i.pdf"
+        if test -f "$fn"; then
+            files+=("$fn")
+        fi
+    done
+    #open "${files[@]}"
+    echo "${files[@]}"
+    pdfjam -o fused.pdf "${files[@]}"
+fi

mercurial