Pass the contents of ORIG_CONFIG/flags to the make command line.
treea616a9bc6fb323db8d606c1653ef1f5c59921e6c
-rw-r--r-- 18011 COPYING
-rw-r--r-- 2827 Ksplice.pm.in
-rw-r--r-- 3413 Makefile.in
-rw-r--r-- 4297 Makefile.ksplice
-rw-r--r-- 718 README.bin
-rw-r--r-- 588 README.src
-rw-r--r-- 1017 Verbose.pm
-rw-r--r-- 1980 aclocal.m4
-rw-r--r-- 3005 configure.ac
-rwxr-xr-x 574 gendiff-reversed
-rw-r--r-- 6482 inspect.c
drwxr-xr-x - kmodsrc
-rwxr-xr-x 6362 ksplice-apply.in
-rwxr-xr-x 12837 ksplice-create.in
-rwxr-xr-x 4239 ksplice-obj.pl.in
-rwxr-xr-x 4376 ksplice-undo.in
-rwxr-xr-x 3371 ksplice-view.in
-rw-r--r-- 3983 objcommon.c
-rw-r--r-- 5347 objcommon.h
-rw-r--r-- 4843 objdiff.c
-rw-r--r-- 328 objdiff.h
-rw-r--r-- 25674 objmanip.c
-rw-r--r-- 1586 objmanip.h