Makefile improvements #151
Reference in New Issue
Block a user
No description provided.
Delete Branch "makefile-changes"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Some changes to make the Makefile a little better.
@@ -21,2 +20,2 @@&& CDPATH= cd -P -- $(PREFIX) && pwd -P)MANDIR != [ $(PREFIX_N) = / ] && printf '/usr/share/man\n' \PREFIX_N != dirname $(PREFIX)/.MANDIR != test $(PREFIX_N) -eq / && printf '/usr/share/man\n' \-eq is integer equality, identical to intcmp -e. You'll want to use an equality sign instead.
@@ -27,3 +26,3 @@CC ?= ccRUSTC ?= rustcRUSTLIBS = --extern getopt=build/o/libgetopt.rlib \RUSTFLAGS += --extern getopt=build/o/libgetopt.rlib \Should this be renamed elsewhere too?
These are good changes. I'll approve them once I know they work.
Merged.
Pull request closed