From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 27 Sep 2012 20:10:00 +0000 (+0000)
Subject: fix for non-Mac
X-Git-Tag: cvc5-1.0.0~7776
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=db67d074ee6bf4ec295763c83ccbe3ae29810eb3;p=cvc5.git

fix for non-Mac
---

diff --git a/src/options/mkoptions b/src/options/mkoptions
index 503e03fde..92c8317f7 100755
--- a/src/options/mkoptions
+++ b/src/options/mkoptions
@@ -1175,7 +1175,7 @@ function output_module {
     repl="$repl2"
     echo -n ";s,$(eval echo "\$\{$var\}"),$repl,g" >>"$output.sed"
   done
-  sed -f "$output.sed" -i "" "$output.working"
+  sed -f "$output.sed" -i "$output.working"
   error="$(grep '.*\${[^}]*}.*' "$output.working" | head -n 1)"
   if [ -n "$error" ]; then
     error="$(echo "$error" | sed 's,.*\${\([^}]*\)}.*,\1,')"
@@ -1352,7 +1352,7 @@ for var in \
   repl="$repl2"
   echo -n ";s,$(eval echo "\$\{$var\}"),$repl,g" >>"$output.sed"
 done
-sed -f "$output.sed" -i "" "$output.working"
+sed -f "$output.sed" -i "$output.working"
 error="$(grep '.*\${[^}]*}.*' "$output.working" | head -n 1)"
 if [ -n "$error" ]; then
   error="$(echo "$error" | sed 's,.*\${\([^}]*\)}.*,\1,')"