Skip to content
Snippets Groups Projects
Select Git revision
  • 691bc2727466723bb2b3563bb7892ec9876eb9d0
  • master default
  • fix-remote-url_v4.9.1
  • fix-remote-url_v4.8.3
  • fix-remote-url_v4.8.x
  • fix-remote-url_v4.7.x
  • fix-remote-url_v4.6.0
  • fix-remote-urls
8 results

questiontestform.php

Blame
  • build.sh 321 B
    REGISTRY=$1
    grep -v '^#' versions | \
    while read -r line; do
    	maxima_version="$(echo "$line" | cut -f1)"
    	sbcl_version="$(echo "$line" | cut -f2)"
    	stack_version="$(echo "$line" | cut -f3)"
    	./buildimage.sh "${sbcl_version}" "${maxima_version}" "$stack_version" "stack/$stack_version/maxima" "${REGISTRY}" || exit 1
    done