use clean_dir instead of remove_dir on installation directory in custom easyblock for GATE#3932
Conversation
|
Test report by @smoors Overview of tested easyconfigs (in order)
Build succeeded for 4 out of 4 (1 easyconfigs in total) |
clean_dir instead of remove_dir on installation directory for GATE easyblock
clean_dir instead of remove_dir on installation directory for GATE easyblockclean_dir instead of remove_dir on installation directory in custom easyblock for GATE
boegel
left a comment
There was a problem hiding this comment.
lgtm (especially since changes are in dead code)
|
@boegelbot please test @ jsc-zen3 |
|
@boegel: Request for testing this PR well received on jsczen3l1.int.jsc-zen3.fz-juelich.de PR test command '
Test results coming soon (I hope)... Details- notification for comment with ID 4090248655 processed Message to humans: this is just bookkeeping information for me, |
|
Test report by @boegelbot Overview of tested easyconfigs (in order)
Build succeeded for 1 out of 1 (total: 28 mins 33 secs) (1 easyconfigs in total) |
(created using
eb --new-pr)requires:
clean_dirfunction, use it to try to empty install dir if removing it fails easybuild-framework#4932