Changeset d870fc5 in git for doc/prepend_GPLv3_header.sh

Timestamp:

Dec 21, 2014, 4:03:35 PM (10 years ago)

Author:

Michele Selvaggi <michele.selvaggi@…>

Branches:

ImprovedOutputFile, Timing, dual_readout, llp, master

Children:

d77b51d

Parents:

7f12612 (diff), e5767b57 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge remote-tracking branch 'upstream/master'

File:

• doc/prepend_GPLv3_header.sh (modified) (1 diff)

doc/prepend_GPLv3_header.sh

@@ -6 +6 @@
 for file in `find . -maxdepth 2 -type f -name *.cpp -o -name *.cc -o -name *.h`
 do
-  head -$length $file | diff -l $header - > /dev/null && continue
+  head -$length $file | diff -lb $header - > /dev/null && continue
   echo $file
   cat $header $file > $file.new