header.bash 199 B

12345678910
  1. #!/bin/bash
  2. header=$(cat $1 |grep "=" |sed -e "s/ =.*/;/" -e "s/^/extern /")
  3. echo "$header" | diff - $2 > /dev/null 2>&1
  4. if [[ $? -ne 0 ]]
  5. then
  6. echo "Making header $2"
  7. echo "$header" > $2
  8. fi