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