configure: Remove --source-path option
commit79d77bcd366190a81d092177e4f84d34b7a56fc2
authorPeter Maydell <peter.maydell@linaro.org>
Mon, 29 Apr 2019 16:35:57 +0000 (29 17:35 +0100)
committerPeter Maydell <peter.maydell@linaro.org>
Mon, 29 Apr 2019 16:35:57 +0000 (29 17:35 +0100)
tree43f733eea18b6a63ca93985160962cbb1100eb99
parentaa64cfaeb4ad0e67ccb54fa20511d7a36db9d833
configure: Remove --source-path option

Normally configure identifies the source path by looking
at the location where the configure script itself exists.
We also provide a --source-path option which lets the user
manually override this.

There isn't really an obvious use case for the --source-path
option, and in commit 927128222b0a91f56c13a in 2017 we
accidentally added some logic that looks at $source_path
before the command line option that overrides it has been
processed.

The fact that nobody complained suggests that there isn't
any use of this option and we aren't testing it either;
remove it. This allows us to move the "make $source_path
absolute" logic up so that there is no window in the script
where $source_path is set but not yet absolute.

Signed-off-by: Peter Maydell <peter.maydell@linaro.org>
Reviewed-by: Daniel P. Berrangé <berrange@redhat.com>
Message-id: 20190318134019.23729-1-peter.maydell@linaro.org
configure