diff options
author | Peter Eisentraut | 2016-02-20 04:07:46 +0000 |
---|---|---|
committer | Peter Eisentraut | 2016-03-09 00:41:51 +0000 |
commit | a2fd62dd53fb606dee69e0f4eb12289c87f5c8b1 (patch) | |
tree | 56741f17cea6a5570929896a78766bbd506d7ea3 | |
parent | 92d4294d4bbddf94cec0dce729ade7bb2aada1b7 (diff) |
Suppress GCC 6 warning about self-comparison
Reviewed-by: Thomas Munro <[email protected]>
-rw-r--r-- | src/port/path.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/port/path.c b/src/port/path.c index 5c9de0cd33..7bf7cbc9b3 100644 --- a/src/port/path.c +++ b/src/port/path.c @@ -86,7 +86,11 @@ skip_drive(const char *path) bool has_drive_prefix(const char *path) { +#ifdef WIN32 return skip_drive(path) != path; +#else + return false; +#endif } /* |