Merge branch 'master' into postgresql-plugins-bin

2019-07-16 11:32:52 +03:00
parent 517c52ec2e 0ddb9e0495
commit 475f1ebd98
4817 changed files with 114951 additions and 70589 deletions
@@ -17,8 +17,8 @@ stdenv.mkDerivation rec {
    mkdir -p $out/{lib,share/extension}

    cp *.so      $out/lib
-    cp *.sql     $out/share/extension
-    cp *.control $out/share/extension
+    cp *.sql     $out/share/postgresql/extension
+    cp *.control $out/share/postgresql/extension
  '';

  meta = with stdenv.lib; {