From a45cad75f0f092d57068f30d12b3c06b8f7ef7c3 Mon Sep 17 00:00:00 2001 From: Teddy Wing Date: Sun, 3 Nov 2019 01:25:39 +0100 Subject: Makefile(TOOLCHAIN): Use `$HOME` instead of `~` Possibly more portable this way. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 5dfb2ca..95cad31 100644 --- a/Makefile +++ b/Makefile @@ -1,5 +1,5 @@ VERSION := $(shell fgrep 'const VERSION' src/main.rs | awk -F '"' '{ print $$2 }') -TOOLCHAIN := $(shell fgrep default_host_triple ~/.rustup/settings.toml | awk -F '"' '{ print $$2 }') +TOOLCHAIN := $(shell fgrep default_host_triple $(HOME)/.rustup/settings.toml | awk -F '"' '{ print $$2 }') RELEASE_PRODUCT := target/release/pdf-urls -- cgit v1.2.3