Skip to content

Commit

Permalink
fixed small bug
Browse files Browse the repository at this point in the history
  • Loading branch information
Martin Schulz committed Oct 17, 2010
1 parent ae61608 commit 62dc83c
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions release-docs/addheader.sh
Expand Up @@ -85,7 +85,12 @@ echo ":" $1 already has a header
else
echo -n ":" Adding $HEADER header
cp $1 $1.headertoadd.tmp
if ( $1 =~ "*.sh" ) then
head -1 $1.headertoadd.tmp > $1
cat $HF $1.headertoadd.tmp >> $1
else
cat $HF $1.headertoadd.tmp > $1
endif
rm $1.headertoadd.tmp

if ( $1 =~ "*.sh" ) then
Expand Down

0 comments on commit 62dc83c

Please sign in to comment.