diff options
| author | pennae <82953136+pennae@users.noreply.github.com> | 2022-03-10 00:32:34 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-10 00:32:34 +0000 |
| commit | f2603e9c92947a0e0c01fc34e754270f46c63790 (patch) | |
| tree | 895ae7325d6ddb9846b00069fccb05ba18d9b3f3 /src/libmain/shared.cc | |
| parent | 417aaf4ff7ac1ca501c5a460775fa25d8e078c8a (diff) | |
| parent | 4d98143914120d0163f5c50f30ce8a5289433f8f (diff) | |
Merge branch 'master' into lto
Diffstat (limited to 'src/libmain/shared.cc')
| -rw-r--r-- | src/libmain/shared.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libmain/shared.cc b/src/libmain/shared.cc index a0b0f4cb3..562d1b414 100644 --- a/src/libmain/shared.cc +++ b/src/libmain/shared.cc @@ -1,6 +1,7 @@ #include "globals.hh" #include "shared.hh" #include "store-api.hh" +#include "gc-store.hh" #include "util.hh" #include "loggers.hh" |