- Fix removal of #line lines

diff --git a/genfiles b/genfiles
index 53d665537a6ddf070270759dcddc72d6347c06ca..911a2fba2e44bd49bf475ab0f7b12e579a1b546f 100755 (executable)
--- 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
+