diff options
author | Tobias Klauser <tklauser@distanz.ch> | 2016-10-04 17:29:00 +0200 |
---|---|---|
committer | Tobias Klauser <tklauser@distanz.ch> | 2016-10-04 17:29:00 +0200 |
commit | 70968e7726223664e2d8458773775432cdbee5a6 (patch) | |
tree | 740afe7cf3598720fb0b900a45c0caa386b05544 /ifpps/.gitignore | |
parent | 5a1eba2843cb66a0cd3b8cccab41d930d7533b62 (diff) |
build: Simplify checking for PREFIX origin
Use the $(filter ...) make function to simplify the detection of the
origin of the PREFIX variable. This allows to merge two duplicate
definitions for the INSTX command.
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
Diffstat (limited to 'ifpps/.gitignore')
0 files changed, 0 insertions, 0 deletions