diff --git a/DAMASK_prerequisites.sh b/DAMASK_prerequisites.sh index 12dd9bd07..3f5e25a71 100755 --- a/DAMASK_prerequisites.sh +++ b/DAMASK_prerequisites.sh @@ -68,6 +68,7 @@ echo PYTHONPATH: $PYTHONPATH echo SHELL: $SHELL echo PETSC_ARCH: $PETSC_ARCH echo PETSC_DIR: $PETSC_DIR +ls $PETSC_DIR/lib echo echo ============================================================================================== echo Python