Polissage : GNUmakefile : hlint : affiche l’emplacement du rapport.

diff --git a/GNUmakefile b/GNUmakefile
index 689ad6badc2fdcb5845aa9ec4d5722a45012848e..44c298b5c0c5a3aab44410303983879f9a9c7249 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -108,8 +108,10 @@ doc/%: .
 ##  hlint
 ###
 hlint: $(HCOMPTA_INTERFACES:=/hlint.html)
+%/hlint: %/hlint.html
+       
 %/hlint.html: .
-       hlint \
+       if hlint \
         -i 'Redundant $$' \
         -i 'Redundant bracket' \
         -i 'Redundant do' \
@@ -119,7 +121,9 @@ hlint: $(HCOMPTA_INTERFACES:=/hlint.html)
         -i 'Use String' \
         -i 'Use string literal' \
         --quiet --report="$@" \
-        "$*"/Hcompta && rm -f "$@"
+        "$*"/Hcompta; \
+       then rm -f "$@"; \
+       else echo; echo "BROWSE REPORT AT: file://$(abspath $@)"; fi
 
 #
 ##  prof