1#!/bin/bash
2
3dst=$(dirname $0)/../../regression/tx_initialize_low_level.c
4src=$(dirname $0)/../../../../ports/linux/gnu/src/tx_initialize_low_level.c
5
6line=`sed -n '/_tx_linux_timer_interrupt/=' $src | tail -n 1`
7sed "${line}iVOID  test_interrupt_dispatch(VOID);" $src > tmp1
8line=`sed -n '/_tx_timer_interrupt/=' $src | tail -n 1`
9sed "${line}itest_interrupt_dispatch();" tmp1 > $dst
10rm tmp1