diff help_diff.sh @ 6288:7336fdaff773

2 small fixes
author arpi
date Mon, 03 Jun 2002 20:32:14 +0000
parents 17cf4bda6f27
children b54d7fd6471a
line wrap: on
line diff
--- a/help_diff.sh	Mon Jun 03 19:21:58 2002 +0000
+++ b/help_diff.sh	Mon Jun 03 20:32:14 2002 +0000
@@ -4,7 +4,7 @@
 # prints (stdout) only those messages which are missing from the help
 # file given as parameter ($1).
 #
-# Example: help_mp-en.sh help_mp-hu.h < help_mp-en.h > missing.h
+# Example: help_diff.sh help_mp-hu.h < help_mp-en.h > missing.h
 
 curr="x"
 
@@ -12,7 +12,7 @@
 
 if ( echo $line | cut -d ' ' -f 1 | grep '^#define' > /dev/null ); then
     curr=`echo $line | cut -d ' ' -f 2`
-    if ( grep "$curr " $1 > /dev/null ); then
+    if ( grep " $curr " $1 > /dev/null ); then
 	curr="x"
     fi
 else