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 b46d4dd1c320dc803f254fd4816944efc01d3c9f..9e3919be9a4a97f2c57a3c2af6e69b3c246d3539 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