From deb5167c9550bbea772b4e8740a97bda71da5725 Mon Sep 17 00:00:00 2001 From: edoapra Date: Tue, 24 Oct 2023 23:14:38 -0700 Subject: [PATCH] check 64_to_32 conversion --- travis/check_64_to_32.sh | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100755 travis/check_64_to_32.sh diff --git a/travis/check_64_to_32.sh b/travis/check_64_to_32.sh new file mode 100755 index 0000000000..5037d69d08 --- /dev/null +++ b/travis/check_64_to_32.sh @@ -0,0 +1,19 @@ +#!/usr/bin/env bash +cd src +make 64_to_32 CONVERT_ALL=y +make 32_to_64 +rm -f diff.out +git diff -U0 . >& diff.out +if [ $(wc -l diff.out | cut -d " " -f 1) != 0 ]; then + cat diff.out + echo "********** check_64_to_32 *********" + echo "********** found missing files ****" + echo "********** from USES_BLAS *********" + grep 'diff --git' diff.out | cut -d ' ' -f 4 | sed -e "s/b\/src/src/" + echo "***********************************" + exit 1 +else + echo "********** check_64_to_32 *********" + echo "********** found no missing files ****" + echo "********** from USES_BLAS *********" +fi