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