function update_header
() {
(echo "/* -*- mode: C++; indent-tabs-mode: nil; -*-
* This file is a part of LEMON, a generic C++ optimization library.
* Egervary Jeno Kombinatorikus Optimalizalasi Kutatocsoport
* (Egervary Research Group on Combinatorial Optimization, EGRES).
* Permission to use, modify and distribute this software is granted
* provided that this copyright notice appears in all copies. For
* precise terms see the accompanying LICENSE file.
* This software is provided \"AS IS\" with no warranty of any kind,
* express or implied, and with no claim as to its suitability for any
/\/\* / && pm==0 { pm=1;}
/[^:blank:]/ && (pm==0 || pm==2) { pm=3; print;}
HEADER_CH=`diff -q
$TMP_FILE $FILE_NAME >/dev/null&&echo NO||echo YES
`
sed -e
's/\t/ /g' >
$TMP_FILE
TABS_CH=`diff -q
$TMP_FILE $FILE_NAME >/dev/null&&echo NO||echo YES
`
function remove_trailing_space
() {
sed -e
's/ \+$//g' >
$TMP_FILE
SPACES_CH=`diff -q
$TMP_FILE $FILE_NAME >/dev/null&&echo NO||echo YES
`
function long_line_test
() {
cat
$1 |grep -q -E
'.{81,}'
if [[ $HEADER_CH = YES
]];
echo -n
' [header updated]'
echo -n
' [tabs removed]'
if [[ $SPACES_CH = YES
]];
echo -n
' [trailing spaces removed]'
echo Update all
source files...
for i in
`hg manifest|grep -E
'\.(cc|h|dox)$'`
echo $CHANGED_FILES out of
$TOTAL_FILES files has been changed.
if [[ $LONG_LINE_FILES -gt 1
]];
then
echo WARNING:
$LONG_LINE_FILES files contains long lines!
elif [[ $LONG_LINE_FILES -gt 0
]];
then
echo WARNING: a file contains long lines!