From 7d5867ddc5bbffe8548d10baa9a734809fb331f8 Mon Sep 17 00:00:00 2001 From: Arkerthan <arkerthan@gmail.com> Date: Thu, 21 Mar 2019 15:45:41 -0700 Subject: [PATCH] move jar where it belongs --- .../javaSanityCheck/SanityCheck.jar | Bin java+gitGrep-sanityCheck.sh | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename SanityCheck.jar => devTools/javaSanityCheck/SanityCheck.jar (100%) diff --git a/SanityCheck.jar b/devTools/javaSanityCheck/SanityCheck.jar similarity index 100% rename from SanityCheck.jar rename to devTools/javaSanityCheck/SanityCheck.jar diff --git a/java+gitGrep-sanityCheck.sh b/java+gitGrep-sanityCheck.sh index b46d4dd1c32..9e3919be9a4 100755 --- a/java+gitGrep-sanityCheck.sh +++ b/java+gitGrep-sanityCheck.sh @@ -108,4 +108,4 @@ $GREP "\$\(PC\|activeSlave\|slaves\|tanks\)[.][^a-zA-Z]" | myprint "UnexpectedCh ) #run the java sanity check -java -jar SanityCheck.jar +java -jar devTools/javaSanityCheck/SanityCheck.jar -- GitLab