diff options
Diffstat (limited to 'envsetup.sh')
| -rw-r--r-- | envsetup.sh | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/envsetup.sh b/envsetup.sh index e2b6b13..1ab2c5a 100644 --- a/envsetup.sh +++ b/envsetup.sh @@ -603,7 +603,7 @@ function m() { T=$(gettop) if [ "$T" ]; then - make -C $T $@ + make -C $T -f build/core/main.mk $@ else echo "Couldn't locate the top of the tree. Try setting TOP." fi @@ -643,7 +643,7 @@ function mm() elif [ ! "$M" ]; then echo "Couldn't locate a makefile from the current directory." else - ONE_SHOT_MAKEFILE=$M make -C $T all_modules $@ + ONE_SHOT_MAKEFILE=$M make -C $T -f build/core/main.mk all_modules $@ fi fi } @@ -690,7 +690,7 @@ function mmm() fi fi done - ONE_SHOT_MAKEFILE="$MAKEFILE" make -C $T $DASH_ARGS $MODULES $ARGS + ONE_SHOT_MAKEFILE="$MAKEFILE" make -C $T -f build/core/main.mk $DASH_ARGS $MODULES $ARGS else echo "Couldn't locate the top of the tree. Try setting TOP." fi |