diff options
| author | José Fonseca <[email protected]> | 2015-09-01 16:29:17 -0600 |
|---|---|---|
| committer | Brian Paul <[email protected]> | 2015-09-01 16:29:17 -0600 |
| commit | 60aea3011525de8bf6506e08c913cbe24cc17767 (patch) | |
| tree | c91d39f6cacb37bd75a41663d4c2b60ecd02a6a5 | |
| parent | 84e71ef2ee4ab4a781aa86a7239036257e5992ce (diff) | |
auxiliary/os: Don't implement os_get_option() on embedded builds.
Let it be defined externally instead, allowing setting mechanisms other
than environment variables.
Reviewed-by: Zack Rusin <[email protected]>
Reviewed-by: Matthew McClure <[email protected]>
| -rw-r--r-- | src/gallium/auxiliary/os/os_misc.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/gallium/auxiliary/os/os_misc.c b/src/gallium/auxiliary/os/os_misc.c index c46078bb07d..d6b83e90e3d 100644 --- a/src/gallium/auxiliary/os/os_misc.c +++ b/src/gallium/auxiliary/os/os_misc.c @@ -96,11 +96,13 @@ os_log_message(const char *message) } +#if !defined(PIPE_SUBSYSTEM_EMBEDDED) const char * os_get_option(const char *name) { return getenv(name); } +#endif /* !PIPE_SUBSYSTEM_EMBEDDED */ /** |