File: doxy_merge_driver.sh

package info (click to toggle)
cbmc 6.6.0-4
  • links: PTS
  • area: main
  • in suites: forky, sid, trixie
  • size: 153,852 kB
  • sloc: cpp: 386,459; ansic: 114,466; java: 28,405; python: 6,003; yacc: 4,552; makefile: 4,041; lex: 2,487; xml: 2,388; sh: 2,050; perl: 557; pascal: 184; javascript: 163; ada: 36
file content (13 lines) | stat: -rwxr-xr-x 489 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
 
#!/usr/bin/env sh

# This script can be used in conjunction with git and the doc-reformatting
# script (reformat_docs.py) to facilitate automatic rebases/merges spanning the
# transition to Doxygen-style comments.
# Usage information: https://svn.cprover.org/wiki/doku.php?id=doxygen

script_dir="$(dirname "$0")"

python "${script_dir}/reformat_docs.py" "$1" -i
python "${script_dir}/reformat_docs.py" "$2" -i
python "${script_dir}/reformat_docs.py" "$3" -i
git merge-file "$1" "$2" "$3"