gawkworkflow: Cloning
1
1 4.1 Cloning The Repo
1 ====================
1
1 Clone the Savannah repo using 'git clone'. You may do so using either
1 the native Git protocol, or using HTTP if you must go through a gateway
1 or firewall that won't pass the Git protocol.
1
1 To choose which method, you supply a "URL" for the repo when you
1 clone it, as follows.
1
1 * Clone via the Git native protocol:
1
1 $ git clone git://git.savannah.gnu.org/gawk.git Clone the repo
1 -| ...
1 $ cd gawk Start working
1
1 This will be faster, but not all firewalls pass the Git protocol on
1 through.
1
1 * Clone via the HTTP protocol:
1
1 $ git clone http://git.savannah.gnu.org/r/gawk.git Clone the repo
1 -| ...
1 $ cd gawk Start working
1
1 _You only need to clone the repo once._ From then on, you update its
1 contents using other Git commands. For example, after coming back from
1 your vacation in the Bahamas:
1
1 $ cd gawk Move to the repo
1 $ make distclean A good idea before updating
1 -| ...
1 $ git pull Update it
1
1 To build, you should generally follow this recipe:
1
1 $ ./bootstrap.sh && ./configure && make -j && make check
1
11 NOTE: Unless you have installed all the tools described in ⇒
GNU Tools, you _must_ run './bootstrap.sh' every time you clone a
1 repo, do a 'git pull' or checkout a different branch. (In the
1 latter case, do 'make distclean' first.) Otherwise things will get
1 messy very quickly. The 'bootstrap.sh' script ensures that all of
1 the file time stamps are up to date so that it's not necessary to
1 run the various configuration tools.
1