1 files changed, 0 insertions, 18 deletions
diff --git a/bin/clean_sems.sh b/bin/clean_sems.sh
deleted file mode 100755
index 57fbf3e9c06..00000000000
--- a/bin/clean_sems.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-#!/bin/sh
-
-if [ -z "$USER" ]; then
-  USER=`id | sed 's/).*//; s/.*(//'`
-fi
-
-SYSTEM=`uname -s`
-case "$SYSTEM" in
-  "Linux" )
-    ipcs -a | grep $USER | awk '{ print ($2) }' | xargs ipcrm sem;
-    ;;
-  * )
-    semids=`ipcs | grep "^s" | grep $USER | awk '{ print ($2) }'`
-    for p in $semids
-      do ipcrm -s $p
-    done
-    ;;
-esac