Fix sed invocation, from Keith Parks

diff --git a/src/backend/catalog/genbki.sh b/src/backend/catalog/genbki.sh
index 6369089b9f860b28b238a63456255f2b222a82b2..b2ee63256c669443a816af9a53d0335959dcc779 100644 (file)
--- a/src/backend/catalog/genbki.sh
+++ b/src/backend/catalog/genbki.sh
@@ -45,13 +45,13 @@ do
             INCLUDE_DIR="$2"
             shift;;
         -I*)
-            INCLUDE_DIR=`echo $1 | sed s/^-I//`
+            INCLUDE_DIR=`echo $1 | sed -e 's/^-I//'`
             ;;
         -o)
             OUTPUT_PREFIX="$2"
             shift;;
         -o*)
-            OUTPUT_PREFIX=`echo $1 | sed s/^-o//`
+            OUTPUT_PREFIX=`echo $1 | sed -e 's/^-o//'`
             ;;
         --help)
             echo "$CMDNAME generates system catalog bootstrapping files."