diff options
author | Tomi Ollila <tomi.ollila@iki.fi> | 2020-10-20 09:57:11 +0300 |
---|---|---|
committer | David Bremner <david@tethera.net> | 2020-10-21 07:01:37 -0300 |
commit | b042a59cdf8be7ad215268eee32d4cc114d312bb (patch) | |
tree | fe37349d429a90d888a2ec0d07adb1990cfc703d /configure | |
parent | bdb6956afdd2fca610c3bac0834636835793a831 (diff) |
configure: replace $(realpath emacs) with $(cd emacs && pwd -P)
For portability; the realpath command (e.g. from GNU coreutils)
is not so common outside Linux systems.
The "$(cd emacs && pwd -P)" replaces that realpath(1) execution
suitably in this context (using just bash(1) builtins).
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1536,7 +1536,7 @@ EOF if [ $WITH_PYTHON_DOCS = "1" ]; then echo "tags.add('WITH_PYTHON')" fi - printf "rsti_dir = '%s'\n" $(realpath emacs) + printf "rsti_dir = '%s'\n" "$(cd emacs && pwd -P)" } > sphinx.config # Finally, after everything configured, inform the user how to continue. |