diff options
author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2025-05-12 16:57:56 +0200 |
---|---|---|
committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2025-05-12 16:57:56 +0200 |
commit | a575ef826eb054bc2236bf87a42adcf7a7674792 (patch) | |
tree | bc87a4cea2672b137e5d19641572959b821d5bf3 /reproduce/software/bash/git-pre-commit | |
parent | df9e291826fbc7e717b40d2d07f1d7607a2f2455 (diff) |
Summary: will not affect existing configuration or analysis.
Until this commit, if the user gave the build directory interactively (had
not run './project configure' with '--build-dir'), the '.build' and
'.local' symbolic links were not created, resulting in a crash shortly
afterwards (when Maneage tried to write 'LOCAL.conf' in the build
directory!).
With this commit, the problem is solved by creating these links also when
the build directory is given interactively and after all the sanity checks
have passed.
Diffstat (limited to 'reproduce/software/bash/git-pre-commit')
0 files changed, 0 insertions, 0 deletions