diff options
| -rwxr-xr-x | solenv/bin/create-ids | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/solenv/bin/create-ids b/solenv/bin/create-ids index de1e79155c87..702c951eb413 100755 --- a/solenv/bin/create-ids +++ b/solenv/bin/create-ids @@ -11,8 +11,8 @@ # TODO: should this include workdir headers? if [ "$1" = "--with-outpath" ]; then - dirs="$(ls -d ./*/* | sed -e '/\(\/\(cscope\.\|tags\|ID\)\)\|^\(clone\|workdir\|instdir\)\//d')" + dirs="$(ls -d ./*/* | sed -e '/\(\/\(cscope\.\|tags\|ID\)\)\|^\.\/\(clone\|workdir\|instdir\)\//d')" else - dirs="$(ls -d ./*/* | sed -e '/\(\/\(cscope\.\|tags\|ID\)\)\|^\(clone\|workdir\|instdir\)\//d')" + dirs="$(ls -d ./*/* | sed -e '/\(\/\(cscope\.\|tags\|ID\)\)\|^\.\/\(clone\|workdir\|instdir\)\//d')" fi mkid --lang-map="$(dirname "$0")"/id-lang.map --include='C C++ asm perl java make' --statistics $dirs |