From: Derick Rethans <derick@php.net>
Date: Tue, 19 Feb 2002 15:58:31 +0000 (+0000)
Subject: - Fix removal of #line lines
X-Git-Tag: php-4.2.0RC1~317
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=7bd5199c5474ff0bfd18c153387f2ed8810c6196;p=php

- Fix removal of #line lines
---

diff --git a/genfiles b/genfiles
index 53d665537a..911a2fba2e 100755
--- a/genfiles
+++ b/genfiles
@@ -17,7 +17,8 @@ EOF
 
 rm config_vars.mk .deps ext/standard/libs.mk $files
 
-for f in ext/standard/url_scanner_ex.c ext/standard/var_unserializer.c
+for f in ext/standard/url_scanner_ex.c ext/standard/var_unserializer.c; do
   cp $f $f.orig
   grep -v '#line ' $f.orig > $f
-fi
+done
+