diff options
Diffstat (limited to 'src/kern/linux/linux.hh')
| -rw-r--r-- | src/kern/linux/linux.hh | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/kern/linux/linux.hh b/src/kern/linux/linux.hh index 7fe107139..d816a0932 100644 --- a/src/kern/linux/linux.hh +++ b/src/kern/linux/linux.hh @@ -34,12 +34,6 @@ #include "base/types.hh" #include "config/full_system.hh" -#if FULL_SYSTEM - -class Linux {}; - -#else //!FULL_SYSTEM - #include <string> #include "kern/operatingsystem.hh" @@ -180,7 +174,4 @@ class Linux : public OperatingSystem }; // class Linux - -#endif // FULL_SYSTEM - #endif // __LINUX_HH__ |