diff options
Diffstat (limited to 'winsup/w32api/lib/CheckConflicts.sh')
| -rwxr-xr-x | winsup/w32api/lib/CheckConflicts.sh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/winsup/w32api/lib/CheckConflicts.sh b/winsup/w32api/lib/CheckConflicts.sh deleted file mode 100755 index 8f424f69c..000000000 --- a/winsup/w32api/lib/CheckConflicts.sh +++ /dev/null @@ -1,12 +0,0 @@ -#!/bin/bash - -if [ $# -ne 2 ] -then - echo "Usage: $0 pattern_file check_file" - exit 1 -fi - -for pattern in `cat $1 | cut -f1 -d'@'` -do - grep -Hwrn --color --exclude=$1 $pattern $2 -done |