changeset 172:0d528839039a

rename installation markers from 'installed.*' to 'installed-*' to avoid weird file extensions
author Volker Grabsch <vog@notjusthosting.com>
date Sun, 09 Nov 2008 05:11:08 +0100
parents cf19f8123e1b
children b279dbda0f54
files Makefile
diffstat 1 files changed, 2 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/Makefile	Sun Nov 09 05:07:35 2008 +0100
+++ b/Makefile	Sun Nov 09 05:11:08 2008 +0100
@@ -37,8 +37,8 @@
 
 define PKG_RULE
 .PHONY: $(1)
-$(1): $(PREFIX)/installed.$(1)
-$(PREFIX)/installed.$(1): $(addprefix $(PREFIX)/installed.,$($(1)_DEPS))
+$(1): $(PREFIX)/installed-$(1)
+$(PREFIX)/installed-$(1): $(addprefix $(PREFIX)/installed-,$($(1)_DEPS))
 	[ -d '$(PREFIX)' ] || mkdir -p '$(PREFIX)'
 	[ -d '$(PKG_DIR)' ] || mkdir -p '$(PKG_DIR)'
 	rm -rf   '$(2)'