mirror of
https://github.com/kalmarek/SmallHyperbolic
synced 2024-11-23 23:40:28 +01:00
log2 → log
This commit is contained in:
parent
57dc3bba99
commit
25f41e6aac
4
Makefile
4
Makefile
@ -18,5 +18,5 @@ groups444: $(GROUPS444)
|
|||||||
|
|
||||||
$(GROUPS334) $(GROUPS344) $(GROUPS444):
|
$(GROUPS334) $(GROUPS344) $(GROUPS444):
|
||||||
@echo "Checking property (T) for" $@
|
@echo "Checking property (T) for" $@
|
||||||
@mkdir -p log2
|
@mkdir -p log
|
||||||
$(JULIA) --project=. runcomputations.jl $@ &>> log2/$@.log
|
$(JULIA) --project=. runcomputations.jl $@ &>> log/$@.log
|
||||||
|
@ -43,7 +43,7 @@ groups = merge(groups334, groups344, groups444)
|
|||||||
|
|
||||||
let GROUP = ARGS[1]
|
let GROUP = ARGS[1]
|
||||||
@assert haskey(groups, GROUP)
|
@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
|
open(joinpath(group_name, "full.log"), "a+") do logfile
|
||||||
logger = SimpleLogger(logfile)
|
logger = SimpleLogger(logfile)
|
||||||
global_logger(logger)
|
global_logger(logger)
|
||||||
|
Loading…
Reference in New Issue
Block a user