devices/update.sh
author Edouard Tisserant <edouard.tisserant@gmail.com>
Tue, 11 Sep 2018 08:43:17 +0200
branchstable-1.5
changeset 2706 43f8e40a183d
parent 2588 792892ab4806
permissions -rwxr-xr-x
Continued update of master's rtdm part to xenomai 3 : rtdm_user_info_t now replaced by rtdm_fd
#!/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