Merge pull request #47930 from jamtrott/gnulib

gnulib: add a symlink from bin/gnulib-tool to gnulib-tool
This commit is contained in:
Matthew Bauer 2018-11-17 20:38:07 -06:00 committed by GitHub
commit c52a5c5b23
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -14,6 +14,8 @@ stdenv.mkDerivation {
installPhase = ''
mkdir -p $out; mv * $out/
ln -s $out/lib $out/include
mkdir -p $out/bin
ln -s $out/gnulib-tool $out/bin/
'';
meta = {