From bd1e95c45668aedb39e70d1aae90a9bb86534506 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Thu, 22 Nov 2018 12:53:53 +0000 Subject: Using .local instead of ./.local in READMEs Until now, in the instructions, we were suggesting to run `./.local/bin/make', but the `./' part is extra: this is already a directory and so the shell will be able to find it. So to make things more clear and easy to read/write, we removed the `./' part from the calls to our custom Make installation. --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'configure') diff --git a/configure b/configure index 37a5224..c33d646 100755 --- a/configure +++ b/configure @@ -570,7 +570,7 @@ The reproduction pipeline and its environment are configured with no errors. Please run the following command to start. (Replace '8' with the number of CPU threads) - ./.local/bin/make -j8 + .local/bin/make -j8 To change the configuration later, please re-run './configure', DO NOT manually edit the relevant files. -- cgit v1.2.1