diff options
| author | Everton Marques <everton.marques@gmail.com> | 2009-08-11 15:43:05 -0300 |
|---|---|---|
| committer | David Lamparter <equinox@opensourcerouting.org> | 2015-02-04 06:07:49 +0100 |
| commit | 871dbcfede60a8d2d286728bcbd88f27c2035b87 (patch) | |
| tree | f3188f3ab1c4856febf70647a32f6d854668aa50 /pimd/quagga-memtypes.sh | |
| parent | b162ab753e70328cb6815e58b4bc5b03e9dd4f42 (diff) | |
| download | quagga-871dbcfede60a8d2d286728bcbd88f27c2035b87.tar.bz2 quagga-871dbcfede60a8d2d286728bcbd88f27c2035b87.tar.xz | |
[pim] Initial pim 0.155
Diffstat (limited to 'pimd/quagga-memtypes.sh')
| -rwxr-xr-x | pimd/quagga-memtypes.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/pimd/quagga-memtypes.sh b/pimd/quagga-memtypes.sh new file mode 100755 index 00000000..e86f414b --- /dev/null +++ b/pimd/quagga-memtypes.sh @@ -0,0 +1,22 @@ +#! /bin/bash +# +# Check lib/memtypes.h from Quagga +# +# Run from quagga's top dir as: +# ./pimd/quagga-memtypes.sh +# +# $QuaggaId: $Format:%an, %ai, %h$ $ + +me=`basename $0` +msg () { + echo >&2 $me: $* +} + +memtypes_h=lib/memtypes.h +if [ -e $memtypes_h ]; then + memtypes_h_size=`ls -s $memtypes_h | cut -d' ' -f1` + if [ "$memtypes_h_size" -lt 1 ]; then + msg WARNING: removing empty file: $memtypes_h -- awk failed? + rm $memtypes_h + fi +fi |