Added --with-xenomai-config to override xenomai config command, also allowing special environment variables to be passed.
Example : --with-xenomai-config="DESTDIR=/path/to/staging /path/to/xeno-config"
#!/bin/bash
set -x
KERNELDIR=/data/kernel/linux-3.16.6
PREVER=3.14
KERNELVER=3.16
for f in $KERNELDIR/drivers/net/ethernet/{realtek/8139too,realtek/r8169,intel/e100}.c; do
echo $f
b=$(basename $f)
o=${b/\./-$KERNELVER-orig.}
e=${b/\./-$KERNELVER-ethercat.}
cp -v $f $o
chmod 644 $o
cp -v $o $e
op=${b/\./-$PREVER-orig.}
ep=${b/\./-$PREVER-ethercat.}
diff -u $op $ep | patch -p1 $e
hg add $o $e
done