diff options
Diffstat (limited to 'm/Makefile')
-rw-r--r-- | m/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ all: WeylScal4.out WeylScal4.out: WeylScal4.m rm -rf WeylScal4 ./runmath.sh $^ - grep --silent 'Thorn ./WeylScal4 created successfully' WeylScal4.out + grep -q 'Thorn ./WeylScal4 created successfully' WeylScal4.out && \ for file in $$(ls WeylScal4); do \ ./copy-if-changed.sh WeylScal4/$$file ../$$file; \ done |