From e99d7f2f2099a8440f89e415a5cf827be9d19f31 Mon Sep 17 00:00:00 2001
From: Richard Cordovano <rcordovano@basistech.com>
Date: Fri, 30 Oct 2015 16:43:04 -0400
Subject: [PATCH] Fix jdiff check in update_versions.py
---
update_versions.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/update_versions.py b/update_versions.py
index 2f96480556..e61c225249 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:
--
GitLab