From 988c20d1c9e53052590f311005d7c06d419e97a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20Grubbstr=C3=B6m=20=28Grubba=29?=
<grubba@grubba.org>
Date: Sat, 1 Apr 2000 15:39:34 +0200
Subject: [PATCH] Fixed a few warnings.
Rev: bin/install.pike:1.53
---
bin/install.pike | 8 ++++----
1 file changed, 4 insertions(+), 4 deletions(-)
diff --git a/bin/install.pike b/bin/install.pike
index 47ff45e080..b667ef3bf5 100644
--- a/bin/install.pike
+++ b/bin/install.pike
@@ -510,7 +510,7 @@ done
exit(1);
}
- string *parts=(script/"/");
+ array(string) parts=(script/"/");
mkdirhier( parts[..sizeof(parts)-2]*"/");
Stdio.write_file(script,"");
@@ -790,7 +790,7 @@ int next()
return 1;
}
-void begin_wizard(string *argv)
+void begin_wizard(array(string) argv)
{
// FIXME:
// We should display the GPL licence and make the user
@@ -864,7 +864,7 @@ object interactive;
string install_type="--interactive";
-int pre_install(string *argv)
+int pre_install(array(string) argv)
{
prefix=vars->prefix || "/usr/local";
@@ -1192,7 +1192,7 @@ void do_install()
status1("Installation completed successfully.");
}
-int main(int argc, string *argv)
+int main(int argc, array(string) argv)
{
foreach(Getopt.find_all_options(argv,aggregate(
({"help",Getopt.NO_ARG,({"-h","--help"})}),
--
GitLab