From: Michael D. Lowis <mike@mdlowis.com>
Date: Sat, 18 Nov 2017 03:39:53 +0000 (-0500)
Subject: added descriptions to tools
X-Git-Url: https://git.mdlowis.com/?a=commitdiff_plain;h=b0356a9b4b9e58c839c2a06b310572458541c81f;p=archive%2Ftide-ocaml.git

added descriptions to tools
---

diff --git a/tools/E-S b/tools/E-S
index 872235f..277c5b7 100755
--- a/tools/E-S
+++ b/tools/E-S
@@ -1,2 +1,3 @@
 #!/bin/sh
-sed 's/GNTX_EXTERN\|extern/static/g'
+# mark extern items as static in C files
+sed 's/GNTX_EXTERN\|extern/static/g' "$@"
diff --git a/tools/S-E b/tools/S-E
index 94e333f..aa43047 100755
--- a/tools/S-E
+++ b/tools/S-E
@@ -1,2 +1,3 @@
 #!/bin/sh
-sed 's/GNTX_STATIC\|static/extern/g'
+# mark static items as extern in C files
+sed 's/GNTX_STATIC\|static/extern/g' "$@"
diff --git a/tools/del b/tools/del
index a6ebf9a..72e3d72 100755
--- a/tools/del
+++ b/tools/del
@@ -1,2 +1,3 @@
 #!/bin/sh
-sed "s/$1//g"
+# delete the text given as the first argument
+sed "s/$1//g" "${@:2}"
diff --git a/tools/no-c++ b/tools/no-c++
index 8d1474c..4cae0b2 100755
--- a/tools/no-c++
+++ b/tools/no-c++
@@ -1,2 +1,3 @@
 #!/bin/sh
-sed 's_\/\/\([^\r\n]\+\)_\/*\1 *\/_g'
+# replace C++ style comments with C style block comments
+sed 's_\/\/\([^\r\n]\+\)_\/*\1 *\/_g' "$@"