diff options
author | Dave Barach <dave@barachs.net> | 2016-06-03 15:27:05 -0400 |
---|---|---|
committer | Dave Barach <dave@barachs.net> | 2016-06-03 15:27:27 -0400 |
commit | 2b54e996d43a1b72337acdcc636d813598553fd8 (patch) | |
tree | d01cd92a608683a89fa9b7c5ce9f82a5b870e147 | |
parent | 227fe26987738d69cdc58fbee0b2ccbecf3ae97b (diff) |
Sample plugin moved to .../plugins/sample-plugin
Change-Id: I6de20c9883d6918899c4b5b03e900814961e824d
Signed-off-by: Dave Barach <dave@barachs.net>
-rwxr-xr-x | build-root/scripts/find-dev-contents | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build-root/scripts/find-dev-contents b/build-root/scripts/find-dev-contents index 77028af0051..2dc6cc4d734 100755 --- a/build-root/scripts/find-dev-contents +++ b/build-root/scripts/find-dev-contents @@ -16,16 +16,16 @@ do done # sample plugin -paths=`(cd ..; find sample-plugin -type f -print | grep -v autom4te)` +paths=`(cd ..; find plugins/sample-plugin -type f -print | grep -v autom4te)` for path in $paths do - relpath=`echo $path | sed -e 's:.*/sample-plugin/::'` + relpath=`echo $path | sed -e 's:.*plugins/::'` dir=`dirname $relpath` if [ $dir = "sample-plugin" ] ; then - echo ../../$path /usr/share/doc/vpp/examples/sample-plugin >> $2 + echo ../../$path /usr/share/doc/vpp/examples/plugins/sample-plugin >> $2 else echo ../../$path \ - /usr/share/doc/vpp/examples/$dir >> $2 + /usr/share/doc/vpp/examples/plugins/$dir >> $2 fi done |