diff options
Diffstat (limited to 'Makefile.org')
| -rw-r--r-- | Makefile.org | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.org b/Makefile.org index ea0d72baaf..580a26937a 100644 --- a/Makefile.org +++ b/Makefile.org @@ -225,7 +225,7 @@ BUILD_CMD= if [ -d "$$dir" ]; then \ fi RECURSIVE_BUILD_CMD=for dir in $(DIRS); do $(BUILD_CMD); done BUILD_ONE_CMD=\ - if echo " $(DIRS) " | grep " $$dir " >/dev/null 2>/dev/null; then \ + if expr " $(DIRS) " : ".* $$dir " >/dev/null 2>&1; then \ $(BUILD_CMD); \ fi |