aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGavin Howard <yzena.tech@gmail.com>2021-04-04 20:26:14 -0600
committerGavin Howard <yzena.tech@gmail.com>2021-04-04 20:26:14 -0600
commit21c967fe59c4e40f451487ae022dba490fe4d290 (patch)
tree9227a643e8c3cb88f06ffa0bc93f0decce2a6481
parentbcd5ac12bbb5c19c4cc86527700a8d2f7d5015fd (diff)
downloadbc-21c967fe59c4e40f451487ae022dba490fe4d290.tar.gz
Add two new parameters to release.sh
These are designed to cut the amount of time it takes to run in some cases.
-rwxr-xr-xrelease.sh26
1 files changed, 23 insertions, 3 deletions
diff --git a/release.sh b/release.sh
index 6b8e59af..603dc425 100755
--- a/release.sh
+++ b/release.sh
@@ -30,6 +30,7 @@
usage() {
printf 'usage: %s [run_tests] [generate_tests] [test_with_clang] [test_with_gcc] \n' "$script"
printf ' [run_sanitizers] [run_valgrind] [run_64_bit] [run_gen_script]\n'
+ printf ' [test_c11] [test_128_bit]\n'
exit 1
}
@@ -216,8 +217,10 @@ runconfigseries() {
if [ "$run_64_bit" -ne 0 ]; then
- runconfigtests "$_runconfigseries_CFLAGS" "$_runconfigseries_CC" \
- "$_runconfigseries_configure_flags" 1 64 "$_runconfigseries_run_tests"
+ if [ "$test_128_bit" -ne 0 ]; then
+ runconfigtests "$_runconfigseries_CFLAGS" "$_runconfigseries_CC" \
+ "$_runconfigseries_configure_flags" 1 64 "$_runconfigseries_run_tests"
+ fi
if [ "$run_gen_script" -ne 0 ]; then
runconfigtests "$_runconfigseries_CFLAGS" "$_runconfigseries_CC" \
@@ -307,7 +310,10 @@ runtests() {
shift
runtestseries "-std=c99 $_runtests_CFLAGS" "$_runtests_CC" "$_runtests_configure_flags" "$_runtests_run_tests"
- runtestseries "-std=c11 $_runtests_CFLAGS" "$_runtests_CC" "$_runtests_configure_flags" "$_runtests_run_tests"
+
+ if [ "$test_c11" -ne 0 ]; then
+ runtestseries "-std=c11 $_runtests_CFLAGS" "$_runtests_CC" "$_runtests_configure_flags" "$_runtests_run_tests"
+ fi
}
karatsuba() {
@@ -498,6 +504,20 @@ else
run_gen_script=0
fi
+if [ "$#" -gt 0 ]; then
+ test_c11="$1"
+ shift
+else
+ test_c11=0
+fi
+
+if [ "$#" -gt 0 ]; then
+ test_128_bit="$1"
+ shift
+else
+ test_128_bit=0
+fi
+
if [ "$run_64_bit" -ne 0 ]; then
bits=64
else