1 files changed, 11 insertions, 0 deletions
diff --git a/scripts/sed b/scripts/sed
new file mode 100755
index 000000000..2b8a81f17
--- /dev/null
+++ b/scripts/sed
@@ -0,0 +1,11 @@
+#!/usr/bin/env bash
+# $Id$
+#-
+# This file is part of the OpenADK project. OpenADK is copyrighted
+# material, please see the LICENCE file in the top-level directory.
+
+if [ -z "$(which gsed 2>/dev/null)" ];then
+	/bin/sed "$@"
+else
+	gsed "$@"
+fi