Pass the contents of ORIG_CONFIG/flags to the make command line.
[ksplice.git] / kmodsrc / 
tree31036304b88a44d6fb362bab3c82bd9cc78b98ce
drwxr-xr-x   ..
-rw-r--r-- 2647 Makefile.in
-rw-r--r-- 2029 helper.c
-rw-r--r-- 9651 ksplice-run-pre.h
-rw-r--r-- 45031 ksplice.c
-rw-r--r-- 5527 ksplice.h
-rw-r--r-- 140 ksplice.lds
-rw-r--r-- 607 ld-script
-rw-r--r-- 2953 primary.c