diff options
| -rw-r--r-- | src/Makefile | 3 | ||||
| -rw-r--r-- | src/arch/x86/Makefile.linux | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index d51591ee..1a878ef8 100644 --- a/src/Makefile +++ b/src/Makefile @@ -74,8 +74,7 @@ SRCDIRS += drivers/block SRCDIRS += drivers/nvs SRCDIRS += drivers/bitbash SRCDIRS += drivers/infiniband -SRCDIRS += drivers/linux -SRCDIRS += interface/pxe interface/efi interface/smbios interface/linux +SRCDIRS += interface/pxe interface/efi interface/smbios SRCDIRS += tests SRCDIRS += crypto crypto/axtls crypto/matrixssl SRCDIRS += hci hci/commands hci/tui diff --git a/src/arch/x86/Makefile.linux b/src/arch/x86/Makefile.linux index c3471dd7..fd56b4b6 100644 --- a/src/arch/x86/Makefile.linux +++ b/src/arch/x86/Makefile.linux @@ -1,6 +1,8 @@ MEDIA = linux INCDIRS += arch/x86/include/linux +SRCDIRS += interface/linux +SRCDIRS += drivers/linux SRCDIRS += arch/x86/core/linux $(BIN)/%.linux : $(BIN)/%.linux.tmp |