From 03d49a1a87bc7c0a8c499ed032e1f9b41162cfd8 Mon Sep 17 00:00:00 2001
From: Markus Hitter <mah@jump-ing.de>
Date: Wed, 9 Jan 2013 13:06:00 +0100
Subject: [PATCH] Makefiles can have various names now.

---
 Makefile-common | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile-common b/Makefile-common
index 5227b3c..3cdd346 100644
--- a/Makefile-common
+++ b/Makefile-common
@@ -76,7 +76,7 @@ $(DEPEND): $(SOURCES)
 # pull in dependency info
 -include $(DEPEND)
 
-$(BUILDDIR)/%.o: %.c config.h Makefile Makefile-common
+$(BUILDDIR)/%.o: %.c config.h $(MAKEFILE_LIST)
 	@echo "  CC        $@"
 	@$(CC) -c $(CFLAGS) -Wa,-adhlns=$(@:.o=.al) -o $@ $<