← Back to branch summary

~vcs-imports/gawk/master

« back to all changes in this revision

Viewing changes to README.git

Update README.solaris.

Show diffs side-by-side

added added

removed removed

Lines of Context:
README.git
1
 
Thu Jun 20 11:01:04 IDT 2019
2
 
Wed Aug 23 08:07:18 IDT 2017
 
1
Sat Dec  1 21:53:02 IST 2012
3
2
============================
4
3
 
5
4
If you are reading this, you have retrieved the gawk code base via
6
5
Git from savannah.gnu.org.  This is good; gawk no longer uses CVS.
7
6
 
8
 
On GNU and Unix systems, please use the following to build
9
 
gawk after doing `git clone' or `git pull':
10
 
 
11
 
        make distclean          # if not a new clone
12
 
        ./bootstrap.sh && ./configure && make && make check
 
7
On GNU and Unix systems, please execute ./bootstrap.sh before invoking
 
8
the usual incantaton of `./configure && make && make check'.  This
 
9
version of bootstrap.sh should work OK.
13
10
 
14
11
On systems supported by configuration files in the pc/ subdirectory,
15
12
chdir into pc/ and run the make-config.bat script there.  This will produce
353
350
 
354
351
If your branch is completely local to your machine, use `git rebase'.
355
352
Otherwise, use `git merge'.
356
 
 
357
 
- How do I remove branches in my local repo that are no longer in the
358
 
  remote repo?
359
 
 
360
 
  Either
361
 
        git fetch --prune
362
 
  or
363
 
        git remote prune origin
364
 
 
365
 
  These remove the remote branches (i.e., origin/something)
366
 
  that no longer exist on the remote.
367
 
 
368
 
  (Thanks to Stepan Kasal for this answer.)