From 65ff7e43c2957e84a14623e802a4889738910354 Mon Sep 17 00:00:00 2001
From: Josh Elsasser <josh@elsasser.org>
Date: Wed, 18 Jul 2007 17:29:27 +0000
Subject: [PATCH] Minor compatibility fix for awk.

---
 version.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/version.sh b/version.sh
index 76636111a..abd4c221e 100755
--- a/version.sh
+++ b/version.sh
@@ -17,7 +17,7 @@ REV=`( find . '(' -name '*.[chm]' -o -name '*.cpp' -o -name '*.po' \
           sed -e '/\$Id:/!d' -e \
             's/.*\$Id: [^ ]* \([0-9]*\) .*/\1/' |
           awk 'BEGIN { REV=0 }
-               //    { if ( $1 > REV ) REV=$1 }
+                     { if ( $1 > REV ) REV=$1 }
                END   { print REV }'`
   
 # Generate files to be included: only overwrite them if changed so make