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