diff options
Diffstat (limited to 'src/libmain/shared.cc')
| -rw-r--r-- | src/libmain/shared.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index 36b4ebdc9c7a..5a8f600e8d36 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -217,7 +217,7 @@ static void initAndRun(int argc, char * * argv) /* Automatically clean up the temporary roots file when we exit. */ - RemoveTempRoots removeTempRoots; /* unused variable - don't remove */ + RemoveTempRoots removeTempRoots __attribute__((unused)); /* Make sure that the database gets closed properly, even if terminate() is called (which happens sometimes due to bugs in |