From ab782048a148271919ed2e11debff674892f4c95 Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub
Date: Tue, 5 Jan 2016 22:17:24 -0800
Subject: do not use `sed -i' in ssrcoqdep -- this is not portable

This prevents compilation of ssreflect on OS-X/*BSD.
---
 etc/utils/ssrcoqdep | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/etc/utils/ssrcoqdep b/etc/utils/ssrcoqdep
index 8ef5422..20e1281 100755
--- a/etc/utils/ssrcoqdep
+++ b/etc/utils/ssrcoqdep
@@ -13,7 +13,7 @@ case $key in
     *.v)
 	mkdir -p $(dirname bkpcoqdep/$key)
         cp $key bkpcoqdep/$key
-	sed "s/^From.*//" -i $key
+        sed "s/^From.*//" bkpcoqdep/$key > $key
     ;;
     *)
     ;;
-- 
cgit v1.2.3