Mirrors/miller
1
0
Fork 0
mirror of https://github.com/johnkerl/miller.git synced 2026-01-23 02:14:13 +00:00
Code Issues Projects Releases Wiki Activity

Fix Makefile for empty prefix (#839)

Browse source 
* Fix makefile so that bin dir is created if absent

* fix indent
This commit is contained in:
Brian Fulton-Howard 2022-01-08 19:45:19 -05:00 • committed by GitHub
parent 8267b2220d
commit 82b3f7ecdf
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Makefile
View file

@ -20,7 +20,8 @@ check: unit-test regression-test
# DESTDIR is for package installs; nominally blank when this is run interactively.
# See also https://www.gnu.org/prep/standards/html_node/DESTDIR.html
install: build
cp mlr $(DESTDIR)/$(INSTALLDIR)
mkdir -p $(DESTDIR)/$(INSTALLDIR)
cp mlr $(DESTDIR)/$(INSTALLDIR)/
make -C man install
# ================================================================