From 106d275b72e959ea202b95d91c95172bf5d611d0 Mon Sep 17 00:00:00 2001 From: Mario Fetka Date: Mon, 27 May 2024 17:30:00 +0200 Subject: [PATCH] remove not needed var dev --- prospero/Makefile | 1 - 1 file changed, 1 deletion(-) diff --git a/prospero/Makefile b/prospero/Makefile index ca68745..def6694 100755 --- a/prospero/Makefile +++ b/prospero/Makefile @@ -8,7 +8,6 @@ # This is the top level Makefile for the Prospero Directory Service. # Include configuration options. -PROSPERO_ROOT = $(PROSPERO_ROOT) include Makefile.config # Programs that live in subdirectories, and have makefiles of their own.