#!/bin/sh
#
# $Id: get_version,v 1.6 2001/11/22 07:38:08 blais Exp $
#

if [ ! -d "tools" ]; then
     echo "You must be running this script from the topdir directory."
     exit 1;
fi

egrep "^XX_VERSION" src/xxdiff.pro | sed -e 's/^.*=//;'

