[bin/analysis-scripts] improve shell scripts thanks to shellcheck
Showing
- bin/check-reference-configuration.sh 5 additions, 16 deletionsbin/check-reference-configuration.sh
- bin/check_newline.sh 3 additions, 4 deletionsbin/check_newline.sh
- bin/frama-c-script 11 additions, 15 deletionsbin/frama-c-script
- share/analysis-scripts/cmd-dep.sh 6 additions, 6 deletionsshare/analysis-scripts/cmd-dep.sh
Loading
Please register or sign in to comment