aboutsummaryrefslogtreecommitdiff
path: root/m/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'm/Makefile')
-rw-r--r--m/Makefile1
1 files changed, 1 insertions, 0 deletions
diff --git a/m/Makefile b/m/Makefile
index 18bf492..4d19481 100644
--- a/m/Makefile
+++ b/m/Makefile
@@ -8,6 +8,7 @@ all: WeylScal4.out
WeylScal4.out: WeylScal4.m
rm -rf WeylScal4
./runmath.sh $^
+ grep --silent 'Thorn ./WeylScal4 created successfully' WeylScal4.out
for thorn in WeylScal4; do \
./copy-if-changed.sh $$thorn/configuration.ccl ../../$$thorn/configuration.ccl && \
./copy-if-changed.sh $$thorn/interface.ccl ../../$$thorn/interface.ccl && \