#!/bin/sh

FILES="src/prpath/prpath.cc
	 src/RtConfig/f_cisco.cc
	 src/RtConfig/RtConfig.cc
	 src/RtConfig/RtConfig.hh
	 src/RtConfig/f_junos.cc
	 src/RtConfig/f_rsd.cc
	 src/RtConfig/f_bcc.cc
	 src/RtConfig/f_gated.cc
	 "
for i in $FILES; do
	p=`echo $i".patch" | sed 's/^.*\///g'`
	patch $i $p
done
