diff options
Diffstat (limited to 'admin')
| -rwxr-xr-x | admin/sbols | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/admin/sbols b/admin/sbols index c65406e..d5825c0 100755 --- a/admin/sbols +++ b/admin/sbols @@ -89,6 +89,7 @@ if [ "$opt_o" = "1" ]; then fi if [ "$opt_m" = "1" ]; then + [ "$opt_i" != "" ] && die "-i option not compatible with -m or -o" cdsb builds="$( git grep -l "$*" '*/*/*.info' | cut -d/ -f1,2 )" [ "$builds" = "" ] && die "maintainer '$*' not found" |