gawkworkflow: Switching Branches

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