@@ -31,8 +31,8 @@ int main( int argc, char **argv)
fprintf(stderr, "argc=%d\n", argc);
- while(i<argc) {
- fprintf(stderr, "argv[%d]='%s'\n", i, argv[i++]);
+ for(i=0;i<argc;i++){
+ fprintf(stderr, "argv[%d]='%s'\n", i, argv[i]);
}
i=0;