>>>>> "Thomas" == Thomas Petazzoni <thomas.petazzoni at free-electrons.com> writes: Thomas> Signed-off-by: Thomas Petazzoni <thomas.petazzoni at free-electrons.com> Thomas> --- Thomas> linux/linux-ext-rtai.mk | 4 ++-- Thomas> 1 files changed, 2 insertions(+), 2 deletions(-) Committed, thanks. -- Bye, Peter Korsgaard