diff options
| author | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 10:50:54 +0200 |
|---|---|---|
| committer | Tom Hubrecht <github@mail.hubrecht.ovh> | 2024-05-28 11:29:29 +0200 |
| commit | 6fd6795bc4faed644c5f3abafdcb21638a119342 (patch) | |
| tree | 29c0dfa1f90a44af6ca22a1985b45b13505f83c7 /src/libstore/globals.hh | |
| parent | 0b91a4b0ec79c27ee36d8a7e2afd7737cb825b65 (diff) | |
util.{hh,cc}: Split out environment-variables.{hh,cc}
Change-Id: Icff0aa33fda5147bd5dbe256a0b9d6a6c8a2c3f6
Diffstat (limited to 'src/libstore/globals.hh')
| -rw-r--r-- | src/libstore/globals.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libstore/globals.hh b/src/libstore/globals.hh index 85789f6b5..581de7ff6 100644 --- a/src/libstore/globals.hh +++ b/src/libstore/globals.hh @@ -1,9 +1,9 @@ #pragma once ///@file +#include "environment-variables.hh" #include "types.hh" #include "config.hh" -#include "util.hh" #include <map> #include <limits> |