aboutsummaryrefslogtreecommitdiff
path: root/reproduce/software/shell/docker.sh
diff options
context:
space:
mode:
authorMohammad Akhlaghi <mohammad@akhlaghi.org>2025-05-12 16:57:56 +0200
committerMohammad Akhlaghi <mohammad@akhlaghi.org>2025-05-12 16:57:56 +0200
commita575ef826eb054bc2236bf87a42adcf7a7674792 (patch)
treebc87a4cea2672b137e5d19641572959b821d5bf3 /reproduce/software/shell/docker.sh
parentdf9e291826fbc7e717b40d2d07f1d7607a2f2455 (diff)
Configuration: .build and .local when bdir is given interactivelyHEADmaneage
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/shell/docker.sh')
0 files changed, 0 insertions, 0 deletions