From 6d46e647ba16e19100dcd0abda9ca5a81ccf764f Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Wed, 4 Feb 2004 16:20:51 +0000
Subject: [PATCH] * Fixed the old envpkgs filename.

---
 corepkgs/buildenv/builder.pl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/corepkgs/buildenv/builder.pl b/corepkgs/buildenv/builder.pl
index 144ad3374..3bbb178c8 100755
--- a/corepkgs/buildenv/builder.pl
+++ b/corepkgs/buildenv/builder.pl
@@ -18,7 +18,7 @@ sub createLinks {
         my $basename = $srcfile;
         $basename =~ s/^.*\///g; # strip directory
         my $dstfile = "$dstdir/$basename";
-	if ($srcfile =~ /\/envpkgs$/) {
+	if ($srcfile =~ /\/propagated-build-inputs$/) {
 	} elsif (-d $srcfile) {
             # !!! hack for resolving name clashes
             if (!-e $dstfile) {