From 4722a37c516ecc2fc67f18f18de7f39d45c1f19f Mon Sep 17 00:00:00 2001
From: Luke Naylor <l.naylor@sms.ed.ac.uk>
Date: Wed, 15 Mar 2023 00:30:16 +0000
Subject: [PATCH] Another CI fix attempt
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 803f04f..c46f4f2 100644
--- a/Makefile
+++ b/Makefile
@@ -13,7 +13,7 @@ main.sagetex.sout: ${SAGESCRIPT} pymodules
sage $?
${SAGESCRIPT}: ${TEXFILES}
- latexmk -interaction=nonstopmode ${MAINTEXFILE}
+ latexmk -interaction=nonstopmode ${MAINTEXFILE} || echo this shoud fail
pymodules: $(addsuffix .py,${SAGEPLOTFILES})
--
GitLab