remove log redirection

This commit is contained in:
kalmarek 2020-04-23 16:48:48 +02:00
parent 12d0bd897f
commit 0833ee025d
No known key found for this signature in database
GPG Key ID: 8BF1A3855328FC15
1 changed files with 1 additions and 1 deletions

View File

@ -31,4 +31,4 @@ groups555: $(GROUPS555)
$(GROUPS244) $(GROUPS333) $(GROUPS334) $(GROUPS344) $(GROUPS444) $(GROUPS555):
@echo "Checking property (T) for" $@
@mkdir -p log
$(JULIA) --project=. runcomputations.jl $@ &>> log/$@.log
$(JULIA) --project=. runcomputations.jl $@