1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
|
--- index/io.c.orig 2012-09-02 23:58:26.000000000 +0000
+++ index/io.c 2012-09-03 00:00:56.000000000 +0000
@@ -360,7 +360,7 @@
-read_filters(index_dir, dofilter)
+void read_filters(index_dir, dofilter)
char *index_dir;
int dofilter;
{
@@ -1450,7 +1450,7 @@
return e->index;
}
-insert_filename(name, name_index)
+void insert_filename(name, name_index)
char *name;
int name_index;
{
@@ -1502,7 +1502,7 @@
(*pe)->index = name_index;
}
-change_filename(name, len, index, newname)
+void change_filename(name, len, index, newname)
char *name;
int len;
int index;
@@ -1524,7 +1524,7 @@
return;
}
-delete_filename(name, name_index)
+void delete_filename(name, name_index)
char *name;
int name_index;
{
|
