Fixing issues with different executable paths

This commit is contained in:
Sachi 2018-02-07 11:48:47 -08:00 committed by GitHub
parent 76b6659c4a
commit 75dbb6f785
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -275,7 +275,7 @@ check_depends() {
get_options() {
local arg= opts=
while getopts :w:e:v:b:c:m:ndxh opts "$@"
while getopts :w:e:v:b:c:m:i:ndxh opts "$@"
do
if [ -n "${OPTARG}" ]; then
case "$opts" in
@ -336,10 +336,10 @@ main() {
exit 1
fi
check_depends
# parse command line
get_options $@
check_depends
include_url=$REPO/include_filelist.txt
# check repo is online & source includes