From 25f41e6aac3cffe9b26fdbafdbb984b44878e9e2 Mon Sep 17 00:00:00 2001 From: kalmarek Date: Mon, 20 Jan 2020 02:18:55 +0100 Subject: [PATCH] =?UTF-8?q?log2=20=E2=86=92=20log?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- Makefile | 4 ++-- runcomputations.jl | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Makefile b/Makefile index c3ae702..5c386bf 100644 --- a/Makefile +++ b/Makefile @@ -18,5 +18,5 @@ groups444: $(GROUPS444) $(GROUPS334) $(GROUPS344) $(GROUPS444): @echo "Checking property (T) for" $@ - @mkdir -p log2 - $(JULIA) --project=. runcomputations.jl $@ &>> log2/$@.log + @mkdir -p log + $(JULIA) --project=. runcomputations.jl $@ &>> log/$@.log diff --git a/runcomputations.jl b/runcomputations.jl index 656b14b..7241c0a 100644 --- a/runcomputations.jl +++ b/runcomputations.jl @@ -43,7 +43,7 @@ groups = merge(groups334, groups344, groups444) let GROUP = ARGS[1] @assert haskey(groups, GROUP) - group_name = "log2/$(GROUP)_r$(HALFRADIUS)" + group_name = "log/$(GROUP)_r$(HALFRADIUS)" open(joinpath(group_name, "full.log"), "a+") do logfile logger = SimpleLogger(logfile) global_logger(logger)