|  | @@ -1696,9 +1696,9 @@ static void remove_double_dots_and_double_slashes(char *s) {
 | 
											
												
													
														|  |  
 |  |  
 | 
											
												
													
														|  |    while (*s != '\0') {
 |  |    while (*s != '\0') {
 | 
											
												
													
														|  |      *p++ = *s++;
 |  |      *p++ = *s++;
 | 
											
												
													
														|  | -    if (s[-1] == '/' || s[-1] == '\\') {
 |  | 
 | 
											
												
													
														|  | 
 |  | +    if (s[-1] == '/' || s[-1] == DIRSEP) {
 | 
											
												
													
														|  |        // Skip all following slashes and backslashes
 |  |        // Skip all following slashes and backslashes
 | 
											
												
													
														|  | -      while (*s == '/' || *s == '\\') {
 |  | 
 | 
											
												
													
														|  | 
 |  | +      while (*s == '/' || *s == DIRSEP) {
 | 
											
												
													
														|  |          s++;
 |  |          s++;
 | 
											
												
													
														|  |        }
 |  |        }
 | 
											
												
													
														|  |  
 |  |  
 |