2b54e996d4
Change-Id: I6de20c9883d6918899c4b5b03e900814961e824d Signed-off-by: Dave Barach <dave@barachs.net>
32 lines
777 B
Bash
Executable File
32 lines
777 B
Bash
Executable File
#!/bin/bash
|
|
|
|
# includes
|
|
paths=`find $1/*/include -type f -print | grep -v '/dpdk/include/'`
|
|
rm -f $2
|
|
|
|
for path in $paths
|
|
do
|
|
relpath=`echo $path | sed -e 's:.*/include/::'`
|
|
dir=`dirname $relpath`
|
|
if [ $dir = "." ] ; then
|
|
echo ../$path /usr/include >> $2
|
|
else
|
|
echo ../$path /usr/include/$dir >> $2
|
|
fi
|
|
done
|
|
|
|
# sample plugin
|
|
paths=`(cd ..; find plugins/sample-plugin -type f -print | grep -v autom4te)`
|
|
|
|
for path in $paths
|
|
do
|
|
relpath=`echo $path | sed -e 's:.*plugins/::'`
|
|
dir=`dirname $relpath`
|
|
if [ $dir = "sample-plugin" ] ; then
|
|
echo ../../$path /usr/share/doc/vpp/examples/plugins/sample-plugin >> $2
|
|
else
|
|
echo ../../$path \
|
|
/usr/share/doc/vpp/examples/plugins/$dir >> $2
|
|
fi
|
|
done
|