Fix jdiff check in update_versions.py

This commit is contained in:
Richard Cordovano 2015-10-30 16:43:04 -04:00
parent 839d86229d
commit e99d7f2f20

View File

@ -862,7 +862,7 @@ def main():
# Check if javadoc and jdiff are present.
jdiff = fix_path(os.path.abspath("./thirdparty/jdiff/v-custom/jdiff.jar"))
if(not os.path.isdir(jdiff)):
if(not os.path.isfile(jdiff)):
printt("jdiff not found. Exiting...")
return 1
try: