diff options
| -rwxr-xr-x | build_tools/bin/mp | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/build_tools/bin/mp b/build_tools/bin/mp index 9ff97f9..3b1992c 100755 --- a/build_tools/bin/mp +++ b/build_tools/bin/mp @@ -80,20 +80,21 @@ function bump { function find_repo { dirname=`dirname $mydir` - msg $dirname|grep -q "extra" + + echo $dirname|grep -q "extra" if [ $? = 0 ] then REPO=extra${PFIX} else REPO=core${PFIX} fi - msg $dirname|grep -q "chroot-devel" + echo $dirname|grep -q "chroot-devel" if [ $? = 0 ] then REPO=chroot-devel fi - msg $dirname|grep -q "mv-core" + echo $dirname|grep -q "mv-core" if [ $? = 0 ] then REPO=mv-core @@ -108,7 +109,7 @@ function find_repo { then mkdir -p $DOCROOT fi - + msg $REPO } |