Merge pull request #1949 from philsmd/patch-3

tests: fixed -P command line argument
pull/1955/head
Jens Steube 5 years ago committed by GitHub
commit efece41178
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -5,7 +5,7 @@
## License.....: MIT
##
OPTS="--quiet --potfile-disable --runtime 400 --hwmon-disable -O"
OPTS="--quiet --potfile-disable --runtime 400 --hwmon-disable"
TDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
@ -2668,7 +2668,6 @@ while getopts "V:t:m:a:b:hcpd:x:o:d:D:F:POI:s:" opt; do
;;
"P")
OPTS="$(echo "${OPTS}" | sed 's/ -O$//' | sed 's/^-O //' | sed 's/ -O //')"
OPTIMIZED=0
;;
@ -2685,9 +2684,13 @@ done
export IS_OPTIMIZED=${OPTIMIZED}
if [ "${OPTIMIZED}" -eq 1 ]; then
OPTS="${OPTS} -O"
fi
if [ "${TYPE}" == "null" ]; then
OPTS="${OPTS} -D 2"
TYPE="Gpu"
OPTS="${OPTS} -D 2"
TYPE="Gpu"
fi
if [ -n "${ARCHITECTURE}" ]; then

Loading…
Cancel
Save