Makefile improvements #151
Labels
No Label
bug
duplicate
enhancement
help wanted
invalid
joke
question
wontfix
No Milestone
No project
No Assignees
2 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: bonsai/harakit#151
Loading…
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 ?= cc
RUSTC ?= rustc
RUSTLIBS = --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