New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

cleanup Makefile #975

Merged

LukeSmithxyz merged 1 commit into LukeSmithxyz:master from rnpnr:makefile

Jul 15, 2024

Commits on Dec 28, 2023

cleanup Makefile

* OS variable was unused
* ifndef section is not needed since
  "make PREFIX=... MANPREFIX=..." overwrites
  whatever is set there
* notdir is a GNU specific function (not POSIX) and doesn't do
  anything in this case
* "sed -i" is not POSIX and pointless if pipes are used correctly
* the "if" block can be removed since "sed" can also be used to
  copy files to the destination.

rnpnr committed Dec 28, 2023