1 files changed, 0 insertions, 12 deletions
diff --git a/bin/clean_sems.sh b/bin/clean_sems.sh
deleted file mode 100755
index a20f520bc54..00000000000
--- a/bin/clean_sems.sh
+++ /dev/null
@@ -1,12 +0,0 @@
-#!/bin/sh
-
-if test "$OSTYPE" = "solaris"; then
-  semids=`ipcs | grep $USER | awk '{ print ($2) }'`
-  for p in $semids
-    do ipcrm -s $p
-  done
-else
-  # Linux/GNU
-  ipcs -a | grep $USER | awk '{ print ($2) }' | xargs ipcrm sem;
-fi
-