build: introduce $SKIP_GIT for make dist (off-line or behind a proxy).
authorMarc-André Lureau <marcandre.lureau@gmail.com>
Thu, 8 Jan 2009 10:29:09 +0000 (12:29 +0200)
committerMarc-André Lureau <marcandre.lureau@gmail.com>
Thu, 8 Jan 2009 13:12:25 +0000 (15:12 +0200)
commitdb193f17200d63bfe59bc3a9196f15d5d59efaee
treede2d57865dd1a41f0111cc4c4ada231a89912d25
parenta206ac0fb58d757da30897ca9a64ae642d1865d1
build: introduce $SKIP_GIT for make dist (off-line or behind a proxy).

There might be a better way doing that, but 'alias git=echo' is not a
solution, :(
Makefile.am