diff options
| -rwxr-xr-x | solenv/bin/create-ids | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/solenv/bin/create-ids b/solenv/bin/create-ids index 045bae3ae3d5..f820882db27d 100755 --- a/solenv/bin/create-ids +++ b/solenv/bin/create-ids @@ -19,7 +19,7 @@ fi # --with-outpath includes solver/$INPATH/inc if [ "$1" = "--with-outpath" ]; then - dirs="`ls -d */* | sed -e '/\(\/\(common\|unxlng\|unxsol\|unxmac\|wntmsc\|Jamfile\|cscope\.\|tags\|ID\)\)\|^\(clone\|solver\|workdir\|install\)\//d'` `ls -d solver/$INPATH/inc | sed -e '/^workdir\//d'`" + dirs="`ls -d */* | sed -e '/\(\/\(common\|unxlng\|unxsol\|unxmac\|wntmsc\|Jamfile\|cscope\.\|tags\|ID\)\)\|^\(clone\|solver\|workdir\|install\)\//d'` solver/$INPATH/inc" else dirs="`ls -d */* | sed -e '/\(\/\(common\|unxlng\|unxsol\|unxmac\|wntmsc\|Jamfile\|cscope\.\|tags\|ID\)\)\|^\(clone\|solver\|workdir\|install\)\//d'`" fi |