diff options
Diffstat (limited to 'ACE/bin/clean_sems.sh')
| -rwxr-xr-x | ACE/bin/clean_sems.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ACE/bin/clean_sems.sh b/ACE/bin/clean_sems.sh index 0409ce83960..b73793c7b62 100755 --- a/ACE/bin/clean_sems.sh +++ b/ACE/bin/clean_sems.sh @@ -15,7 +15,7 @@ fi case "$SYSTEM" in "Linux" ) - ipcs -a | grep $USER | awk '{ print ($2) }' | xargs ipcrm sem; + ipcs -a | grep $USER | awk '{ print ($2) }' | xargs -r ipcrm sem; ;; * ) semids=`$IPCS | grep "^s" | grep $USER | awk '{ print ($2) }'` |