diff options
Diffstat (limited to 'rules/other/Toplevel.make')
| -rw-r--r-- | rules/other/Toplevel.make | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/rules/other/Toplevel.make b/rules/other/Toplevel.make index e726eaebe..9c8f60389 100644 --- a/rules/other/Toplevel.make +++ b/rules/other/Toplevel.make @@ -1,6 +1,6 @@ # -*-makefile-*- # -# Copyright (C) 2002-2008 by The PTXdist Team - See CREDITS for Details +# Copyright (C) 2002-2009 by The PTXdist Team - See CREDITS for Details # # make sure bash is used to execute commands from makefiles @@ -22,7 +22,7 @@ include $(PTXDIST_PTXCONFIG) # might be non existent ifneq ($(wildcard $(PTXDIST_PLATFORMCONFIG)),) --include $(PTXDIST_PLATFORMCONFIG) +include $(PTXDIST_PLATFORMCONFIG) endif # might be non existent |