gawkworkflow: Cloning

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