diff --git a/util/configure b/util/configure index ef0f70e..d62ad34 100755 --- a/util/configure +++ b/util/configure @@ -531,6 +531,9 @@ _END_ cd 'build'; + push @make_install_cmds, "mkdir -p \$(DESTDIR)$prefix/", + "cp $root_dir/COPYRIGHT \$(DESTDIR)$prefix/"; + # build 3rd-party C libraries if required if ($opts->{no_pool}) {