From 27d3bb906b843a38c371e66372745095ccaceef6 Mon Sep 17 00:00:00 2001 From: Mohammad Akhlaghi Date: Thu, 28 Mar 2019 11:51:37 +0000 Subject: Configure script now has options With the options, it is now possible to run the configure script more easily after the initial run. The `--help' option provides a nice and complete introduction along with a listing of the input options and the `-j' option can be use to manually set the number of threads. --- .file-metadata | Bin 4158 -> 4141 bytes 1 file changed, 0 insertions(+), 0 deletions(-) (limited to '.file-metadata') diff --git a/.file-metadata b/.file-metadata index ac0a6cb..18e0cd8 100644 Binary files a/.file-metadata and b/.file-metadata differ -- cgit v1.2.1