From d91eebf889977ed0c7db5f4f77bac85a3c2742a2 Mon Sep 17 00:00:00 2001 From: Olof hagsand Date: Tue, 29 Nov 2022 16:33:10 +0100 Subject: [PATCH] (really) fix vagrant log file name --- test/vagrant/Makefile.in | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/test/vagrant/Makefile.in b/test/vagrant/Makefile.in index 0eeadd6d..ba795165 100644 --- a/test/vagrant/Makefile.in +++ b/test/vagrant/Makefile.in @@ -63,9 +63,11 @@ logs: # appear eg as generic/centos8.log $(VAGRANTS): logs ifdef LOGDIR - with_restconf=$(RESTCONF) ./vagrant.sh $@ 2>&1 > "$(LOGDIR)/$(subst /,-,$@)-$(RESTCONF).log" + with_restconf=$(RESTCONF) ./vagrant.sh $@ 2>&1 > "$(LOGDIR)/vagrant-$(RESTCONF)-$\ +(subst /,-,$@).log" else - with_restconf=$(RESTCONF) ./vagrant.sh $@ 2>&1 | tee "logs/$(subst /,-,$@)-$(RESTCONF).log" + with_restconf=$(RESTCONF) ./vagrant.sh $@ 2>&1 | tee "logs/vagrant-$(RESTCONF)-$(\ +subst /,-,$@).log" endif destroy: