- for (i=1; i<argc; i++) {
- int need_removal = 0;
- if (!strncmp("--extra-process=",argv[i], strlen("--extra-process="))) {
- xbt_dict_set(process_function_set, argv[i]+strlen("--extra-process="), NULL, NULL);
- need_removal = 1;
- }
-
-
- if (need_removal) { /* remove the handled argument from argv */
- int j;
- for (j=i+1; j<argc; j++) {
- argv[j-1] = argv[j];
- }
- argv[j-1] = NULL;
- argc--;
- i--; /* compensate effect of next loop incrementation */
- }
+ for (i = 1; i < argc; i++) {
+ int need_removal = 0;
+ if (!strncmp("--extra-process=", argv[i], strlen("--extra-process="))) {
+ xbt_dict_set(process_function_set,
+ argv[i] + strlen("--extra-process="), NULL, NULL);
+ need_removal = 1;
+ }
+
+
+ if (need_removal) { /* remove the handled argument from argv */
+ int j;
+ for (j = i + 1; j < argc; j++) {
+ argv[j - 1] = argv[j];
+ }
+ argv[j - 1] = NULL;
+ argc--;
+ i--; /* compensate effect of next loop incrementation */
+ }