From e35cf6e3b52f02621075b9b8acc9c8624af697d1 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fredrik=20H=C3=BCbinette=20=28Hubbe=29?= <hubbe@hubbe.net>
Date: Wed, 16 Feb 2000 13:37:17 -0800
Subject: [PATCH] modules are now dumped again..

Rev: bin/install.pike:1.47
---
 bin/install.pike | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/install.pike b/bin/install.pike
index cd93e60a99..f99fbaffc3 100644
--- a/bin/install.pike
+++ b/bin/install.pike
@@ -224,10 +224,10 @@ int install_file(string from,
   {
     switch(ext)
     {
-      case ".pike":
+      case "pike":
 	if(glob("*/master.pike",to)) break;
 
-      case ".pmod":
+      case "pmod":
 	to_dump+=({to});
     }
   }
-- 
GitLab