diff options
| author | José Fonseca <jfonseca@vmware.com> | 2010-02-04 14:37:30 +0000 |
|---|---|---|
| committer | José Fonseca <jfonseca@vmware.com> | 2010-02-04 14:39:30 +0000 |
| commit | 47a080df15f5df1cfe72b83ccc1629d993b2a3c0 (patch) | |
| tree | 6a9915e68dd135d867ddef73d3fabfa7753efa7f | |
| parent | 9cd2abdf8b7978d8a903d4aee9e2072a0c87e9ad (diff) | |
gallium: Don't try to auto-detect the OS when embedded os is already pre-defined.
| -rw-r--r-- | src/gallium/include/pipe/p_config.h | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/src/gallium/include/pipe/p_config.h b/src/gallium/include/pipe/p_config.h index 064605a4a0..c5928dde47 100644 --- a/src/gallium/include/pipe/p_config.h +++ b/src/gallium/include/pipe/p_config.h @@ -115,8 +115,10 @@ #endif +#if !defined(PIPE_OS_EMBEDDED) + /* - * Operating system family. + * Auto-detect the operating system family. * * See subsystem below for a more fine-grained distinction. */ @@ -164,7 +166,7 @@ #endif /* - * Subsystem. + * Try to auto-detect the subsystem. * * NOTE: There is no way to auto-detect most of these. */ @@ -191,5 +193,7 @@ #endif #endif /* PIPE_OS_WINDOWS */ +#endif /* !PIPE_OS_EMBEDDED */ + #endif /* P_CONFIG_H_ */ |