Closed dchassin closed 1 year ago
It is no longer possible to build in an alternate directory using the ./build.sh script.
./build.sh
We used to be able to build using mkdir build;../configure. But no more.
mkdir build;../configure
See above
Suggest add two options to ./build.sh:
--workdir=DIR
$PWD
--srcdir=DIR
Problem description
It is no longer possible to build in an alternate directory using the
./build.sh
script.Steps to reproduce
We used to be able to build using
mkdir build;../configure
. But no more.Expected behavior
See above
System information
Supporting information
Suggest add two options to
./build.sh
:--workdir=DIR
to set the build working directory (default to$PWD
)--srcdir=DIR
to set the source code directory (default to$PWD
)