diff options
| -rw-r--r-- | devel/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/devel/Makefile b/devel/Makefile index 5fd591c3af7f..6d170042a9ec 100644 --- a/devel/Makefile +++ b/devel/Makefile @@ -548,6 +548,7 @@ SUBDIR += linux-runrev SUBDIR += linux-sdl12 SUBDIR += linux_devtools + SUBDIR += linux_kdump SUBDIR += linuxthreads SUBDIR += llvm SUBDIR += log4c |