diff src/mkbuiltins @ 2909:057273789b87

[project @ 1997-04-30 06:34:32 by jwe]
author jwe
date Wed, 30 Apr 1997 06:39:13 +0000
parents 8bb31a2b480b
children 1da1af95082e
line wrap: on
line diff
--- a/src/mkbuiltins	Wed Apr 30 05:23:41 1997 +0000
+++ b/src/mkbuiltins	Wed Apr 30 06:39:13 1997 +0000
@@ -44,8 +44,8 @@
 done
 
 for file in $VAR_FILES; do
-  file=`echo $file | sed 's/-/_/g'`
-  echo "extern void symbols_of_${file} (void);"
+  f=`echo $file | sed 's/-/_/g'`
+  echo "extern void symbols_of_${f} (void);"
 done
 
 cat << \EOF
@@ -56,8 +56,8 @@
 EOF
 
 for file in $VAR_FILES; do
-  file=`echo $file | sed 's/-/_/g'`
-  echo "  symbols_of_${file} ();"
+  f=`echo $file | sed 's/-/_/g'`
+  echo "  symbols_of_${f} ();"
 done
 
 cat << \EOF