Welcome to mirror list, hosted at ThFree Co, Russian Federation.

github.com/HuasoFoundries/phpPgAdmin6.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index 02866b7a..68f6d23f 100644
--- a/Makefile
+++ b/Makefile
@@ -132,7 +132,7 @@ psalm:
@if [ -f "vendor/bin/psalm" ]; then \
mkdir -p .build/psalm ;\
${MAKE} disable_xdebug --no-print-directory ;\
- vendor/bin/psalm --show-info=false \
+ vendor/bin/psalm --show-info=true \
--config=psalm.xml \
--set-baseline=.build/psalm/psalm-baseline$(FOLDER_BASENAME).xml \
--shepherd $(folder) ;\