sage-dist-helpers (sdh_generate_windows_lib_files): Fix handling of DESTDIR

Commit

188 days ago

build/pkgs/gmp/spkg-install.in, build/bin/sage-dist-helpers (sdh_generate_windows_lib_files): Fix handling of DESTDIR

Author

mkoeppe

Committer

mkoeppe

Parents