diff --git a/update_versions.py b/update_versions.py index 2f96480556aec0567118f11f56b8caf4338ea639..e61c2252492048e0bac3ab989d84ba6d0a12eb57 100755 --- a/update_versions.py +++ b/update_versions.py @@ -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: