From 1db14c13e5a8b1009d97f603fa24fb7984547695 Mon Sep 17 00:00:00 2001 From: Giuseppe Lettieri Date: Thu, 20 Sep 2012 22:47:38 +0200 Subject: [PATCH] We do not actually need a U directory --- planetlab/exp-tool/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/planetlab/exp-tool/Makefile b/planetlab/exp-tool/Makefile index 58708540a..3cf98e5fa 100644 --- a/planetlab/exp-tool/Makefile +++ b/planetlab/exp-tool/Makefile @@ -65,7 +65,6 @@ ALL_LINK_IDS=$(addsuffix @1,$(LINKS)) $(addsuffix @2,$(LINKS)) all+init: init all init: @[ -d L ] || ( echo Creating tmp dir L; mkdir L) - @[ -d U ] || ( echo Creating tmp dir U; mkdir U) @[ -d log ] || (echo Creating tmp dir log; mkdir log) @[ -d cache ] || ( echo Creating tmp dir cache; mkdir cache) .PHONY: all+init init -- 2.43.0