From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 27 Sep 2012 20:11:59 +0000 (+0000)
Subject: finally, a portable solution
X-Git-Tag: cvc5-1.0.0~7775
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=51daaee8eb1ee55ee3323c5395a95fd121fe87a8;p=cvc5.git

finally, a portable solution
---

diff --git a/src/options/mkoptions b/src/options/mkoptions
index 92c8317f7..cc581e69c 100755
--- a/src/options/mkoptions
+++ b/src/options/mkoptions
@@ -1175,7 +1175,8 @@ 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" "$output.working" >"$output.working2"
+  mv -f "$output.working2" "$output.working"
   error="$(grep '.*\${[^}]*}.*' "$output.working" | head -n 1)"
   if [ -n "$error" ]; then
     error="$(echo "$error" | sed 's,.*\${\([^}]*\)}.*,\1,')"
@@ -1352,7 +1353,8 @@ 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" "$output.working" >"$output.working2"
+mv -f "$output.working2" "$output.working"
 error="$(grep '.*\${[^}]*}.*' "$output.working" | head -n 1)"
 if [ -n "$error" ]; then
   error="$(echo "$error" | sed 's,.*\${\([^}]*\)}.*,\1,')"