Fix configure main functions argv argument type

argv is a pointer to an array of character strings, not a pointer to a single
character string. Some compilers do not like incorrect arguments for
main().

Based on patch for older configure script by Giuseppe Sacco <eppesuig@debian.org>.

diff --git a/configure b/configure
index 003c44c34b84f155447f7b6e5ff0aa49ef589504..c0a5deab4a8226e41bdd7a905b6e699c01f593a0 100755 (executable)
--- a/configure
+++ b/configure
@@ -835,7 +835,7 @@ checkGCCVersion()
 # NB: use ANSI C prototype to weed out non-ANSI compilers.
 #
 cat>dummy.c<<EOF
-int main(int argc, char* argv) { return 0; }
+int main(int argc, char* argv[]) { return 0; }
 EOF
 
 checkCompiler()
@@ -986,7 +986,7 @@ fi
 # Make dependency information.
 #
 cat>dummy.c<<EOF
-int main(int argc, char* argv) { return 0; }
+int main(int argc, char* argv[]) { return 0; }
 EOF
 capture cat dummy.c
 if capture "$CCOMPILER -c -M $MKDEPCOPTS dummy.c | grep '^dummy.o[     ]*:[    ]*dummy.c'"; then