diff options
-rwxr-xr-x | scripts/build.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build.py b/scripts/build.py index 358fcce..d466d85 100755 --- a/scripts/build.py +++ b/scripts/build.py @@ -284,7 +284,7 @@ def build(args): for project in args.project: cmd = (f'export BUILDROOT={args.build_root};' - f'export BUILDID={args.buildid}; nice make {project} ' + f'export BUILDID={args.buildid}; nice $BUILDTOOLS_BINDIR/make {project} ' f'-f external/lk/makefile -j {args.jobs}') # Call envsetup. If it fails, abort. envsetup = os.path.join(script_dir, "envsetup.sh") |