diff --git a/share/analysis-scripts/analysis.mk b/share/analysis-scripts/analysis.mk index 745b1cc1320819de4bc99fc741bb50d388efdd49..07bcf42f649be6868296faa913b8aaa052716515 100644 --- a/share/analysis-scripts/analysis.mk +++ b/share/analysis-scripts/analysis.mk @@ -96,9 +96,13 @@ endif # --- Utilities --- define display_command = - $(info ) - $(info $(shell tput setaf 4)Command: $(strip $(1))$(shell tput sgr0)) - $(info ) + @{ + echo ''; + [ -t 1 ] && tput setaf 4; + echo "Command: $(strip $(1))"; + [ -t 1 ] && tput sgr0; + echo ''; + } endef empty := diff --git a/tests/fc_script/oracle/make-wrapper.res b/tests/fc_script/oracle/make-wrapper.res index 2042715951fa9bdec799717dd6383f27562b4800..18747999ef64bba9e9fd47673c4c03caacef85f2 100644 --- a/tests/fc_script/oracle/make-wrapper.res +++ b/tests/fc_script/oracle/make-wrapper.res @@ -1,10 +1,10 @@ -�[34mCommand: ../../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�[m +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 [kernel] Parsing make-wrapper.c (with preprocessing) [kernel] Parsing make-wrapper2.c (with preprocessing) -�[34mCommand: ../../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�[m +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 [eva] Analyzing a complete application starting at main [eva] Computing initial state