Allow multiple Makefiles to be specified

1 files changed, 10 insertions, 1 deletions

diff --git a/mkdep.pl b/mkdep.pl
index 1385d842..45a09ac2 100755
--- a/mkdep.pl
+++ b/mkdep.pl
@@ -130,15 +130,24 @@ sub insert_deps($) {
 %deps = ();
 @files = ();
 @mkfiles = ();
+$mkmode = 0;
 
 while ( defined($arg = shift(@ARGV)) ) {
     if ( $arg eq '-m' ) {
 	$arg = shift(@ARGV);
 	push(@mkfiles, $arg);
+    } elsif ( $arg eq '-M' ) {
+	$mkmode = 1;		# Futher filenames are output Makefile names
     } elsif ( $arg =~ /^-/ ) {
 	die "Unknown option: $arg\n";
+    } elsif ( $arg eq '--' && $mkmode ) {
+	$mkmode = 0;
     } else {
-	push(@files, $arg);
+	if ( $mkmode ) {
+	    push(@mkfiles, $arg);
+	} else {
+	    push(@files, $arg);
+	}
     }
 }