diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-04 13:26:32 +0000 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-12-04 13:26:32 +0000 |
commit | 627cee6910ffd181552d6dca01501154b4d78372 (patch) | |
tree | 8354415e01dd97f750f4aa7bc63faa11d24621c7 /reproduce/analysis/make | |
parent | 49654daa6b1ecf2126154466a9fccef4fc7ec2f5 (diff) |
Configure script for GNU Build system now an input argument
Until now, we were checking the existance of the `configure' file and if it
wasn't present, we would check for `config' (for OpenSSL which also has a
lower-level "Configure" script that is called by the `config' script). But
after two tests on Mac machines by Raul Infante Sainz and Cristina MartÃnez
Lombilla, we found out that Mac Os's file names aren't case sensitive and
thus the build wouldn't use `config', but `Configure'.
Now, the exact configuration script can be specified as the 7th argument to
the `gbuild' script. If it isn't given, the standard `configure' name will
be used, but when it is, the given name will be used.
Diffstat (limited to 'reproduce/analysis/make')
0 files changed, 0 insertions, 0 deletions