From cb97d7a6123fbc94657db9b76a3184a4f89adca2 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@jannet.de>
Date: Thu, 30 Aug 2007 13:21:11 +0000
Subject: [PATCH] std-tools.mk: Add $(PROFILE_SH) to prerequisites for install

---
 make/std-tools.mk | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/make/std-tools.mk b/make/std-tools.mk
index 75df0787..610b420f 100644
--- a/make/std-tools.mk
+++ b/make/std-tools.mk
@@ -4,7 +4,7 @@ PROFILE_SH = profile-$(PROJECT).sh
 
 all: $(PROFILE_SH)
 clean: clean.std-tools
-install: install.std-tools
+install: $(PROFILE_SH) install.std-tools
 distclean: clean
 
 $(PROFILE_SH): Makefile