| Index: test/configurations/x64/configurations.c
|
| diff --git a/test/configurations/x64/configurations.c b/test/configurations/x64/configurations.c
|
| index 72c97e31da6f22151f0408f1a235dca0fde70ebe..2ae3c05113fe99dc3e98c3446a6338130ce13636 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() {
|
| if (sizeof(void*) == 4) {
|
| printf("Running Win32\n");
|
| } else if (sizeof(void*) == 8) {
|
|
|