Add additional error chcking

pull/339/head
Jeffrey Walton 2016-11-07 09:56:24 -05:00
parent 0d753f8014
commit 4a4b9b14e4
No known key found for this signature in database
GPG Key ID: B36AB348921B1838
1 changed files with 1 additions and 1 deletions

View File

@ -303,7 +303,7 @@ echo
"$MAKE" "${MAKEARGS[@]}" -f GNUmakefile-symbols dynamic "$MAKE" "${MAKEARGS[@]}" -f GNUmakefile-symbols dynamic
if [[ ! -f "cryptest.exe" ]]; then if [[ ! -f "$LIBNAME" ]]; then
echo "Failed to make $NEW_VERSION_TAG library" echo "Failed to make $NEW_VERSION_TAG library"
[[ "$0" = "$BASH_SOURCE" ]] && exit 1 || return 1 [[ "$0" = "$BASH_SOURCE" ]] && exit 1 || return 1
fi fi