1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/source.c b/gdb/source.c
index 4eda082f15d..391c9c260a5 100644
--- a/gdb/source.c
+++ b/gdb/source.c
@@ -626,6 +626,7 @@ add_path (char *dirname, char **which_path, int parse_separators)
 	  }
       }
     skip_dup:
+      ;
     }
   while (arg != NULL);
 }