header.bash 228 B

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