projects / gnulib.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 726c760) | patch
prefix-gnulib-mk: give better diagnostics
authorJim Meyering <meyering@fb.com>
Sun, 27 Jan 2013 17:54:55 +0000 (09:54 -0800)
committerJim Meyering <meyering@fb.com>
Sat, 16 Mar 2013 05:13:46 +0000 (22:13 -0700)
commitcbd4dafd96be16e8e727663decb1002883813483
tree775cbf7eaea1324f78c266ae6ed615d1005db9b8tree | snapshot
parent726c760e3f7660648770641222fa84a3fcfd5849commit | diff
prefix-gnulib-mk: give better diagnostics

* build-aux/prefix-gnulib-mk: Don't just "die".
Give better diagnostics upon failure.
ChangeLog diff | blob | history
build-aux/prefix-gnulib-mk diff | blob | history
gnulib debian + stable branches