--- a/src/mkops	Mon Jan 13 15:10:39 2003 +0000
+++ b/src/mkops	Thu Jan 16 20:15:15 2003 +0000
@@ -1,5 +1,7 @@
 #!/bin/sh
 
+SED=${SED:-'sed'}
+
 cat << \EOF
 // DO NOT EDIT!  Generated automatically by mkbuiltins.
 
@@ -12,7 +14,7 @@
 EOF
 
 for file in "$@"; do
-  f=`echo $file | sed 's,^\./,,; s%^OPERATORS/op-%%; s%\.cc%%; s%-%_%g'`
+  f=`echo $file | $SED 's,^\./,,; s%^OPERATORS/op-%%; s%\.cc%%; s%-%_%g'`
   echo "extern void install_${f}_ops (void);"
 done
 
@@ -26,7 +28,7 @@
 EOF
 
 for file in "$@"; do
-  f=`echo $file | sed 's,^\./,,; s%^OPERATORS/op-%%; s%\.cc%%; s%-%_%g'`
+  f=`echo $file | $SED 's,^\./,,; s%^OPERATORS/op-%%; s%\.cc%%; s%-%_%g'`
   echo "  install_${f}_ops ();"
 done