From: ken <unknown>
Date: Mon, 7 Jan 2002 22:39:20 +0000 (+0000)
Subject: [project @ 2002-01-07 22:39:20 by ken]
X-Git-Tag: Approximately_9120_patches~306
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=ee6b1aececd9396b1404558f673488cbf4145900;p=ghc-hetmet.git

[project @ 2002-01-07 22:39:20 by ken]
Ignore -package-name <package-name> on the command line.
MERGE TO STABLE
---

diff --git a/glafp-utils/mkdependC/mkdependC.prl b/glafp-utils/mkdependC/mkdependC.prl
index 26ce208..2bce81e1 100644
--- a/glafp-utils/mkdependC/mkdependC.prl
+++ b/glafp-utils/mkdependC/mkdependC.prl
@@ -127,8 +127,15 @@ sub mangle_command_line_args {
 		push(@Src_files, $_);
 	    }
 
-	} elsif ($Dashdashes_seen == 1) { # where we ignore unknown options
-	    push(@Src_files,$_) if ! /^-/;
+	} elsif ($Dashdashes_seen == 1) {
+	    if ( /^-package-name$/ ) {
+		# Skip option argument
+		shift(@ARGV);
+	    } elsif ( /^-/ ) {
+		# Ignore unknown option
+	    } else {
+		push(@Src_files,$_);
+	    }
 	}
     }
 }