Merge branch 'install-sh-improvements' into minor
authorStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 26 Dec 2013 00:11:25 +0000 (01:11 +0100)
committerStefano Lattarini <stefano.lattarini@gmail.com>
Thu, 26 Dec 2013 00:11:25 +0000 (01:11 +0100)
* install-sh-improvements:
  install-sh: a slightly better diagnostic, and tests enhancements
  install-sh: be stricter in catching invalid usages


Trivial merge