#!/bin/bash

# counts number of ties in system in a dump file generated by -D
#
# e.g.
# ../bin/rift-environ ... -DD    | ./countties.sh
# vs. flat RIFT (like IGP)
# ../bin/rift-environ ... -DD -f | ./countties.sh

# Copyright (c) 2016-, Juniper Networks, Inc.
# All rights reserved.

egrep -i 'key.life' $1 | wc -l
