java dataset collector fix

This commit is contained in:
fixminer
2020-04-09 13:08:05 +02:00
parent 753db4075a
commit 37763b2a63
8 changed files with 178 additions and 99 deletions
+5 -2
View File
@@ -120,8 +120,9 @@ def prepareFiles(t,dsName):
nonTest = []
for k,v in files.items():
if v == 'M':
if k.endswith('.c') or k.endswith(u'.h'):
nonTest.append(k)
nonTest.append(k)
# if k.endswith('.c') or k.endswith(u'.h'):
# nonTest.append(k)
# nonTest = [f for f in files.keys() if f.endswith('.c') or f.endswith(u'.h')]
cmd = 'git -C ' + join(DATASET_PATH,dsName) + ' rev-parse --short=6 ' + shaOld
@@ -276,6 +277,8 @@ def core():
if(pjList != ['ALL']):
if repo in pjList:
print(repo)
cmd = 'git config --global http.postBuffer 157286400'
shellCallTemplate(cmd)
cmd = 'git -C ' + DATASET_PATH + ' clone ' + src
shellCallTemplate(cmd)
logging.info(repo)