| Index: test/configurations/x64/configurations.c
|
| diff --git a/test/configurations/x64/configurations.c b/test/configurations/x64/configurations.c
|
| index 72c97e31da6f22151f0408f1a235dca0fde70ebe..37018438fc7bfe57c32931ee0c648242d1c2075b 100644
|
| --- a/test/configurations/x64/configurations.c
|
| +++ b/test/configurations/x64/configurations.c
|
| @@ -1,6 +1,6 @@
|
| #include <stdio.h>
|
|
|
| -int main(int argc, char *argv[]) {
|
| +int main(void) {
|
| if (sizeof(void*) == 4) {
|
| printf("Running Win32\n");
|
| } else if (sizeof(void*) == 8) {
|
|
|