check 64_to_32 conversion

This commit is contained in:
edoapra 2023-10-24 23:14:38 -07:00
parent 4b0b154863
commit deb5167c95
No known key found for this signature in database
GPG key ID: 48E12DA1EDE9E1B0

19
travis/check_64_to_32.sh Executable file
View file

@ -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