gawkworkflow: Switching Branches

 
 4.2 Switching Branches
 ======================
 
 So far, we've been working in the default 'master' branch.  Let's check
 what's happening in the 'gawk-4.1-stable' branch:
 
      $ make distclean                                          Clean up
      $ git checkout gawk-4.1-stable                            Checkout a different branch
      -| ...
      $ git pull                                                Get up to date
      -| ...
      $ ./bootstrap.sh && ./configure && make -j && make check  Start working