Merge branch 'fix/andre/make-wrapper-oracle' into 'master'

[analysis-scripts] avoid oracle differences due to make 4.3

See merge request frama-c/frama-c!2971

share/analysis-scripts/analysis.mk

@@ -97,7 +97,7 @@ endif
 
 define display_command =
   $(info )
-  $(info $(shell tput setaf 4)Command: $(1)$(shell tput sgr0))
+  $(info $(shell tput setaf 4)Command: $(strip $(1))$(shell tput sgr0))
   $(info )
 endef
 

tests/fc_script/oracle/make-wrapper.res

 
-Command: ../../bin/frama-c  -kernel-warn-key annot:missing-spec=abort -kernel-warn-key typing:implicit-function-declaration=abort   -cpp-extra-args="" make-wrapper.c make-wrapper2.c(B
+Command: ../../bin/frama-c -kernel-warn-key annot:missing-spec=abort -kernel-warn-key typing:implicit-function-declaration=abort -cpp-extra-args="" make-wrapper.c make-wrapper2.c(B
 
 [kernel] Parsing make-wrapper.c (with preprocessing)
 [kernel] Parsing make-wrapper2.c (with preprocessing)
 
-Command: ../../bin/frama-c  -kernel-warn-key annot:missing-spec=abort -kernel-warn-key typing:implicit-function-declaration=abort  -eva -eva-no-print -eva-no-show-progress -eva-msg-key=-initial-state -eva-print-callstacks -eva-warn-key alarm=inactive -no-deps-print -no-calldeps-print -eva-warn-key garbled-mix -calldeps -from-verbose 0   -eva-warn-key builtins:missing-spec=abort (B
+Command: ../../bin/frama-c -kernel-warn-key annot:missing-spec=abort -kernel-warn-key typing:implicit-function-declaration=abort -eva -eva-no-print -eva-no-show-progress -eva-msg-key=-initial-state -eva-print-callstacks -eva-warn-key alarm=inactive -no-deps-print -no-calldeps-print -eva-warn-key garbled-mix -calldeps -from-verbose 0 -eva-warn-key builtins:missing-spec=abort(B
 
 [eva] Analyzing a complete application starting at main
 [eva] Computing initial state