[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Best way to make the Org source tree?
From: |
Rohit Patnaik |
Subject: |
Re: Best way to make the Org source tree? |
Date: |
Thu, 14 Mar 2024 10:19:52 -0500 |
User-agent: |
Cyrus-JMAP/3.11.0-alpha0-287-gcf6d0d8ecf-fm-20240312.001-gcf6d0d8e |
>From reading `mk/targets.mk`, seems like `make update` runs the following:
git checkout $(GIT_BRANCH)
git remote update
git pull
make all
I think `make all` also runs `make autoloads`. Personally, my update process is
`git pull && make`, because until just now I didn't realize that `make update`
was an option.
-- Rohit Patnaik