From: Karl Berry <karl@freefriends.org>
Date: Tue, 15 Jul 2003 12:47:27 +0000 (+0000)
Subject: (fixfile): grep for $Id:, not $Id$, since the
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=cbfd57c9e245d79e28c028ead19ee20be1e7cad0;p=pspp

(fixfile): grep for $Id:, not $Id$, since the
latter gets expanded.
---

diff --git a/config/srclist-update b/config/srclist-update
index 0145b4f7e6..6daad83ab3 100755
--- a/config/srclist-update
+++ b/config/srclist-update
@@ -1,5 +1,5 @@
 #!/bin/sh
-# $Id: srclist-update,v 1.7 2003-07-14 22:44:04 eggert Exp $
+# $Id: srclist-update,v 1.8 2003-07-15 12:47:27 karl Exp $
 #
 # Check for files in directory $1 being up to date, according to the
 # list on stdin.  Don't actually make any changes, just show the diffs.
@@ -74,7 +74,7 @@ fixfile() \
   *)
     cat $1;;
   esac \
-  | grep -v '\$Id: srclist-update,v 1.7 2003-07-14 22:44:04 eggert Exp $' >$2
+  | grep -v '\$Id: srclist-update,v 1.8 2003-07-15 12:47:27 karl Exp $2
 }