diff scripts/mk-pkg-add @ 16847:474e6d189de1

use SED in scripts/mk-pkg-add script, use set -e consistently * scripts/mk-pkg-add: Initialize SED from environment and use it. * libinterp/mk-pkg-add: Use set -e instead of bin/sh -e.
author John W. Eaton <jwe@octave.org>
date Tue, 25 Jun 2013 11:10:26 -0400
parents 72c96de7a403
children d63878346099
line wrap: on
line diff
--- a/scripts/mk-pkg-add
+++ b/scripts/mk-pkg-add
@@ -24,6 +24,8 @@
 
 set -e
 
+SED=${SED:-'sed'}
+
 prefix="$1/"
 shift
 
@@ -32,6 +34,6 @@
   if [ "$arg" = "--" ]; then
     prefix=""
   else
-    sed -n 's/^[#%][#%]* *PKG_ADD: *//p' "$prefix$arg"
+    $SED -n 's/^[#%][#%]* *PKG_ADD: *//p' "$prefix$arg"
   fi
 done