Don't build the ksplice core twice.
[ksplice.git] / kmodsrc / x86 / 
treefa2b171d1bbd33e45fa1d82fb5d2f00c77af77c9
drwxr-xr-x   ..
-rw-r--r-- 22888 ksplice-arch.c
drwxr-xr-x - libudis86
-rw-r--r-- 413 udis86.h